-
Notifications
You must be signed in to change notification settings - Fork 1
/
sv3-proof-of-concept.edn
1957 lines (1956 loc) · 126 KB
/
sv3-proof-of-concept.edn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;; Assuming a brute force approach to take an SV3 model and
;; a target scale size, and fabricating almost all possible SV3 scales
;;
;; We say almost because if a scale has intervals with
;; the same frequency (i.e. number of repetitions), then we are only
;; solving one of the cases. But it is possible to solve this somehow.
;;
;;
;; In this example
;; the `model` is the following scale [2 3 1 3 2 3 1]
;; the `target-size` is 311
[{:interval-freqs {2 2, 152 2, 1 3}, :sv3 (2 1 152 1 2 1 152)}
{:interval-freqs {1 2, 3 2, 101 3}, :sv3 (1 101 3 101 1 101 3)}
{:interval-freqs {1 2, 150 2, 3 3}, :sv3 (1 3 150 3 1 3 150)}
{:interval-freqs {3 2, 151 2, 1 3}, :sv3 (3 1 151 1 3 1 151)}
{:interval-freqs {4 2, 150 2, 1 3}, :sv3 (4 1 150 1 4 1 150)}
{:interval-freqs {1 2, 147 2, 5 3}, :sv3 (1 5 147 5 1 5 147)}
{:interval-freqs {5 2, 149 2, 1 3}, :sv3 (5 1 149 1 5 1 149)}
{:interval-freqs {1 2, 6 2, 99 3}, :sv3 (1 99 6 99 1 99 6)}
{:interval-freqs {6 2, 148 2, 1 3}, :sv3 (6 1 148 1 6 1 148)}
{:interval-freqs {1 2, 144 2, 7 3}, :sv3 (1 7 144 7 1 7 144)}
{:interval-freqs {7 2, 147 2, 1 3}, :sv3 (7 1 147 1 7 1 147)}
{:interval-freqs {8 2, 146 2, 1 3}, :sv3 (8 1 146 1 8 1 146)}
{:interval-freqs {1 2, 9 2, 97 3}, :sv3 (1 97 9 97 1 97 9)}
{:interval-freqs {1 2, 141 2, 9 3}, :sv3 (1 9 141 9 1 9 141)}
{:interval-freqs {9 2, 145 2, 1 3}, :sv3 (9 1 145 1 9 1 145)}
{:interval-freqs {10 2, 144 2, 1 3}, :sv3 (10 1 144 1 10 1 144)}
{:interval-freqs {1 2, 138 2, 11 3}, :sv3 (1 11 138 11 1 11 138)}
{:interval-freqs {11 2, 143 2, 1 3}, :sv3 (11 1 143 1 11 1 143)}
{:interval-freqs {1 2, 12 2, 95 3}, :sv3 (1 95 12 95 1 95 12)}
{:interval-freqs {12 2, 142 2, 1 3}, :sv3 (12 1 142 1 12 1 142)}
{:interval-freqs {1 2, 135 2, 13 3}, :sv3 (1 13 135 13 1 13 135)}
{:interval-freqs {13 2, 141 2, 1 3}, :sv3 (13 1 141 1 13 1 141)}
{:interval-freqs {14 2, 140 2, 1 3}, :sv3 (14 1 140 1 14 1 140)}
{:interval-freqs {1 2, 15 2, 93 3}, :sv3 (1 93 15 93 1 93 15)}
{:interval-freqs {1 2, 132 2, 15 3}, :sv3 (1 15 132 15 1 15 132)}
{:interval-freqs {15 2, 139 2, 1 3}, :sv3 (15 1 139 1 15 1 139)}
{:interval-freqs {16 2, 138 2, 1 3}, :sv3 (16 1 138 1 16 1 138)}
{:interval-freqs {1 2, 129 2, 17 3}, :sv3 (1 17 129 17 1 17 129)}
{:interval-freqs {17 2, 137 2, 1 3}, :sv3 (17 1 137 1 17 1 137)}
{:interval-freqs {1 2, 18 2, 91 3}, :sv3 (1 91 18 91 1 91 18)}
{:interval-freqs {18 2, 136 2, 1 3}, :sv3 (18 1 136 1 18 1 136)}
{:interval-freqs {1 2, 126 2, 19 3}, :sv3 (1 19 126 19 1 19 126)}
{:interval-freqs {19 2, 135 2, 1 3}, :sv3 (19 1 135 1 19 1 135)}
{:interval-freqs {20 2, 134 2, 1 3}, :sv3 (20 1 134 1 20 1 134)}
{:interval-freqs {1 2, 21 2, 89 3}, :sv3 (1 89 21 89 1 89 21)}
{:interval-freqs {1 2, 123 2, 21 3}, :sv3 (1 21 123 21 1 21 123)}
{:interval-freqs {21 2, 133 2, 1 3}, :sv3 (21 1 133 1 21 1 133)}
{:interval-freqs {22 2, 132 2, 1 3}, :sv3 (22 1 132 1 22 1 132)}
{:interval-freqs {1 2, 120 2, 23 3}, :sv3 (1 23 120 23 1 23 120)}
{:interval-freqs {23 2, 131 2, 1 3}, :sv3 (23 1 131 1 23 1 131)}
{:interval-freqs {1 2, 24 2, 87 3}, :sv3 (1 87 24 87 1 87 24)}
{:interval-freqs {24 2, 130 2, 1 3}, :sv3 (24 1 130 1 24 1 130)}
{:interval-freqs {1 2, 117 2, 25 3}, :sv3 (1 25 117 25 1 25 117)}
{:interval-freqs {25 2, 129 2, 1 3}, :sv3 (25 1 129 1 25 1 129)}
{:interval-freqs {26 2, 128 2, 1 3}, :sv3 (26 1 128 1 26 1 128)}
{:interval-freqs {1 2, 27 2, 85 3}, :sv3 (1 85 27 85 1 85 27)}
{:interval-freqs {1 2, 114 2, 27 3}, :sv3 (1 27 114 27 1 27 114)}
{:interval-freqs {27 2, 127 2, 1 3}, :sv3 (27 1 127 1 27 1 127)}
{:interval-freqs {28 2, 126 2, 1 3}, :sv3 (28 1 126 1 28 1 126)}
{:interval-freqs {1 2, 111 2, 29 3}, :sv3 (1 29 111 29 1 29 111)}
{:interval-freqs {29 2, 125 2, 1 3}, :sv3 (29 1 125 1 29 1 125)}
{:interval-freqs {1 2, 30 2, 83 3}, :sv3 (1 83 30 83 1 83 30)}
{:interval-freqs {30 2, 124 2, 1 3}, :sv3 (30 1 124 1 30 1 124)}
{:interval-freqs {1 2, 108 2, 31 3}, :sv3 (1 31 108 31 1 31 108)}
{:interval-freqs {31 2, 123 2, 1 3}, :sv3 (31 1 123 1 31 1 123)}
{:interval-freqs {32 2, 122 2, 1 3}, :sv3 (32 1 122 1 32 1 122)}
{:interval-freqs {1 2, 33 2, 81 3}, :sv3 (1 81 33 81 1 81 33)}
{:interval-freqs {1 2, 105 2, 33 3}, :sv3 (1 33 105 33 1 33 105)}
{:interval-freqs {33 2, 121 2, 1 3}, :sv3 (33 1 121 1 33 1 121)}
{:interval-freqs {34 2, 120 2, 1 3}, :sv3 (34 1 120 1 34 1 120)}
{:interval-freqs {1 2, 102 2, 35 3}, :sv3 (1 35 102 35 1 35 102)}
{:interval-freqs {35 2, 119 2, 1 3}, :sv3 (35 1 119 1 35 1 119)}
{:interval-freqs {1 2, 36 2, 79 3}, :sv3 (1 79 36 79 1 79 36)}
{:interval-freqs {36 2, 118 2, 1 3}, :sv3 (36 1 118 1 36 1 118)}
{:interval-freqs {1 2, 99 2, 37 3}, :sv3 (1 37 99 37 1 37 99)}
{:interval-freqs {37 2, 117 2, 1 3}, :sv3 (37 1 117 1 37 1 117)}
{:interval-freqs {38 2, 116 2, 1 3}, :sv3 (38 1 116 1 38 1 116)}
{:interval-freqs {1 2, 39 2, 77 3}, :sv3 (1 77 39 77 1 77 39)}
{:interval-freqs {1 2, 96 2, 39 3}, :sv3 (1 39 96 39 1 39 96)}
{:interval-freqs {39 2, 115 2, 1 3}, :sv3 (39 1 115 1 39 1 115)}
{:interval-freqs {40 2, 114 2, 1 3}, :sv3 (40 1 114 1 40 1 114)}
{:interval-freqs {1 2, 93 2, 41 3}, :sv3 (1 41 93 41 1 41 93)}
{:interval-freqs {41 2, 113 2, 1 3}, :sv3 (41 1 113 1 41 1 113)}
{:interval-freqs {1 2, 42 2, 75 3}, :sv3 (1 75 42 75 1 75 42)}
{:interval-freqs {42 2, 112 2, 1 3}, :sv3 (42 1 112 1 42 1 112)}
{:interval-freqs {1 2, 90 2, 43 3}, :sv3 (1 43 90 43 1 43 90)}
{:interval-freqs {43 2, 111 2, 1 3}, :sv3 (43 1 111 1 43 1 111)}
{:interval-freqs {44 2, 110 2, 1 3}, :sv3 (44 1 110 1 44 1 110)}
{:interval-freqs {1 2, 45 2, 73 3}, :sv3 (1 73 45 73 1 73 45)}
{:interval-freqs {1 2, 87 2, 45 3}, :sv3 (1 45 87 45 1 45 87)}
{:interval-freqs {45 2, 109 2, 1 3}, :sv3 (45 1 109 1 45 1 109)}
{:interval-freqs {46 2, 108 2, 1 3}, :sv3 (46 1 108 1 46 1 108)}
{:interval-freqs {1 2, 84 2, 47 3}, :sv3 (1 47 84 47 1 47 84)}
{:interval-freqs {47 2, 107 2, 1 3}, :sv3 (47 1 107 1 47 1 107)}
{:interval-freqs {1 2, 48 2, 71 3}, :sv3 (1 71 48 71 1 71 48)}
{:interval-freqs {48 2, 106 2, 1 3}, :sv3 (48 1 106 1 48 1 106)}
{:interval-freqs {1 2, 81 2, 49 3}, :sv3 (1 49 81 49 1 49 81)}
{:interval-freqs {49 2, 105 2, 1 3}, :sv3 (49 1 105 1 49 1 105)}
{:interval-freqs {50 2, 104 2, 1 3}, :sv3 (50 1 104 1 50 1 104)}
{:interval-freqs {1 2, 51 2, 69 3}, :sv3 (1 69 51 69 1 69 51)}
{:interval-freqs {1 2, 78 2, 51 3}, :sv3 (1 51 78 51 1 51 78)}
{:interval-freqs {51 2, 103 2, 1 3}, :sv3 (51 1 103 1 51 1 103)}
{:interval-freqs {52 2, 102 2, 1 3}, :sv3 (52 1 102 1 52 1 102)}
{:interval-freqs {1 2, 75 2, 53 3}, :sv3 (1 53 75 53 1 53 75)}
{:interval-freqs {53 2, 101 2, 1 3}, :sv3 (53 1 101 1 53 1 101)}
{:interval-freqs {1 2, 54 2, 67 3}, :sv3 (1 67 54 67 1 67 54)}
{:interval-freqs {54 2, 100 2, 1 3}, :sv3 (54 1 100 1 54 1 100)}
{:interval-freqs {1 2, 72 2, 55 3}, :sv3 (1 55 72 55 1 55 72)}
{:interval-freqs {55 2, 99 2, 1 3}, :sv3 (55 1 99 1 55 1 99)}
{:interval-freqs {56 2, 98 2, 1 3}, :sv3 (56 1 98 1 56 1 98)}
{:interval-freqs {1 2, 57 2, 65 3}, :sv3 (1 65 57 65 1 65 57)}
{:interval-freqs {1 2, 69 2, 57 3}, :sv3 (1 57 69 57 1 57 69)}
{:interval-freqs {57 2, 97 2, 1 3}, :sv3 (57 1 97 1 57 1 97)}
{:interval-freqs {58 2, 96 2, 1 3}, :sv3 (58 1 96 1 58 1 96)}
{:interval-freqs {1 2, 66 2, 59 3}, :sv3 (1 59 66 59 1 59 66)}
{:interval-freqs {59 2, 95 2, 1 3}, :sv3 (59 1 95 1 59 1 95)}
{:interval-freqs {1 2, 60 2, 63 3}, :sv3 (1 63 60 63 1 63 60)}
{:interval-freqs {60 2, 94 2, 1 3}, :sv3 (60 1 94 1 60 1 94)}
{:interval-freqs {1 2, 63 2, 61 3}, :sv3 (1 61 63 61 1 61 63)}
{:interval-freqs {61 2, 93 2, 1 3}, :sv3 (61 1 93 1 61 1 93)}
{:interval-freqs {62 2, 92 2, 1 3}, :sv3 (62 1 92 1 62 1 92)}
{:interval-freqs {63 2, 91 2, 1 3}, :sv3 (63 1 91 1 63 1 91)}
{:interval-freqs {64 2, 90 2, 1 3}, :sv3 (64 1 90 1 64 1 90)}
{:interval-freqs {65 2, 89 2, 1 3}, :sv3 (65 1 89 1 65 1 89)}
{:interval-freqs {66 2, 88 2, 1 3}, :sv3 (66 1 88 1 66 1 88)}
{:interval-freqs {67 2, 87 2, 1 3}, :sv3 (67 1 87 1 67 1 87)}
{:interval-freqs {68 2, 86 2, 1 3}, :sv3 (68 1 86 1 68 1 86)}
{:interval-freqs {69 2, 85 2, 1 3}, :sv3 (69 1 85 1 69 1 85)}
{:interval-freqs {70 2, 84 2, 1 3}, :sv3 (70 1 84 1 70 1 84)}
{:interval-freqs {71 2, 83 2, 1 3}, :sv3 (71 1 83 1 71 1 83)}
{:interval-freqs {72 2, 82 2, 1 3}, :sv3 (72 1 82 1 72 1 82)}
{:interval-freqs {73 2, 81 2, 1 3}, :sv3 (73 1 81 1 73 1 81)}
{:interval-freqs {74 2, 80 2, 1 3}, :sv3 (74 1 80 1 74 1 80)}
{:interval-freqs {75 2, 79 2, 1 3}, :sv3 (75 1 79 1 75 1 79)}
{:interval-freqs {76 2, 78 2, 1 3}, :sv3 (76 1 78 1 76 1 78)}
{:interval-freqs {2 2, 149 2, 3 3}, :sv3 (2 3 149 3 2 3 149)}
{:interval-freqs {2 2, 5 2, 99 3}, :sv3 (2 99 5 99 2 99 5)}
{:interval-freqs {2 2, 146 2, 5 3}, :sv3 (2 5 146 5 2 5 146)}
{:interval-freqs {2 2, 143 2, 7 3}, :sv3 (2 7 143 7 2 7 143)}
{:interval-freqs {2 2, 8 2, 97 3}, :sv3 (2 97 8 97 2 97 8)}
{:interval-freqs {2 2, 140 2, 9 3}, :sv3 (2 9 140 9 2 9 140)}
{:interval-freqs {2 2, 11 2, 95 3}, :sv3 (2 95 11 95 2 95 11)}
{:interval-freqs {2 2, 137 2, 11 3}, :sv3 (2 11 137 11 2 11 137)}
{:interval-freqs {2 2, 134 2, 13 3}, :sv3 (2 13 134 13 2 13 134)}
{:interval-freqs {2 2, 14 2, 93 3}, :sv3 (2 93 14 93 2 93 14)}
{:interval-freqs {2 2, 131 2, 15 3}, :sv3 (2 15 131 15 2 15 131)}
{:interval-freqs {2 2, 17 2, 91 3}, :sv3 (2 91 17 91 2 91 17)}
{:interval-freqs {2 2, 128 2, 17 3}, :sv3 (2 17 128 17 2 17 128)}
{:interval-freqs {2 2, 125 2, 19 3}, :sv3 (2 19 125 19 2 19 125)}
{:interval-freqs {2 2, 20 2, 89 3}, :sv3 (2 89 20 89 2 89 20)}
{:interval-freqs {2 2, 122 2, 21 3}, :sv3 (2 21 122 21 2 21 122)}
{:interval-freqs {2 2, 23 2, 87 3}, :sv3 (2 87 23 87 2 87 23)}
{:interval-freqs {2 2, 119 2, 23 3}, :sv3 (2 23 119 23 2 23 119)}
{:interval-freqs {2 2, 116 2, 25 3}, :sv3 (2 25 116 25 2 25 116)}
{:interval-freqs {2 2, 26 2, 85 3}, :sv3 (2 85 26 85 2 85 26)}
{:interval-freqs {2 2, 113 2, 27 3}, :sv3 (2 27 113 27 2 27 113)}
{:interval-freqs {2 2, 29 2, 83 3}, :sv3 (2 83 29 83 2 83 29)}
{:interval-freqs {2 2, 110 2, 29 3}, :sv3 (2 29 110 29 2 29 110)}
{:interval-freqs {2 2, 107 2, 31 3}, :sv3 (2 31 107 31 2 31 107)}
{:interval-freqs {2 2, 32 2, 81 3}, :sv3 (2 81 32 81 2 81 32)}
{:interval-freqs {2 2, 104 2, 33 3}, :sv3 (2 33 104 33 2 33 104)}
{:interval-freqs {2 2, 35 2, 79 3}, :sv3 (2 79 35 79 2 79 35)}
{:interval-freqs {2 2, 101 2, 35 3}, :sv3 (2 35 101 35 2 35 101)}
{:interval-freqs {2 2, 98 2, 37 3}, :sv3 (2 37 98 37 2 37 98)}
{:interval-freqs {2 2, 38 2, 77 3}, :sv3 (2 77 38 77 2 77 38)}
{:interval-freqs {2 2, 95 2, 39 3}, :sv3 (2 39 95 39 2 39 95)}
{:interval-freqs {2 2, 41 2, 75 3}, :sv3 (2 75 41 75 2 75 41)}
{:interval-freqs {2 2, 92 2, 41 3}, :sv3 (2 41 92 41 2 41 92)}
{:interval-freqs {2 2, 89 2, 43 3}, :sv3 (2 43 89 43 2 43 89)}
{:interval-freqs {2 2, 44 2, 73 3}, :sv3 (2 73 44 73 2 73 44)}
{:interval-freqs {2 2, 86 2, 45 3}, :sv3 (2 45 86 45 2 45 86)}
{:interval-freqs {2 2, 47 2, 71 3}, :sv3 (2 71 47 71 2 71 47)}
{:interval-freqs {2 2, 83 2, 47 3}, :sv3 (2 47 83 47 2 47 83)}
{:interval-freqs {2 2, 80 2, 49 3}, :sv3 (2 49 80 49 2 49 80)}
{:interval-freqs {2 2, 50 2, 69 3}, :sv3 (2 69 50 69 2 69 50)}
{:interval-freqs {2 2, 77 2, 51 3}, :sv3 (2 51 77 51 2 51 77)}
{:interval-freqs {2 2, 53 2, 67 3}, :sv3 (2 67 53 67 2 67 53)}
{:interval-freqs {2 2, 74 2, 53 3}, :sv3 (2 53 74 53 2 53 74)}
{:interval-freqs {2 2, 71 2, 55 3}, :sv3 (2 55 71 55 2 55 71)}
{:interval-freqs {2 2, 56 2, 65 3}, :sv3 (2 65 56 65 2 65 56)}
{:interval-freqs {2 2, 68 2, 57 3}, :sv3 (2 57 68 57 2 57 68)}
{:interval-freqs {2 2, 59 2, 63 3}, :sv3 (2 63 59 63 2 63 59)}
{:interval-freqs {2 2, 65 2, 59 3}, :sv3 (2 59 65 59 2 59 65)}
{:interval-freqs {2 2, 62 2, 61 3}, :sv3 (2 61 62 61 2 61 62)}
{:interval-freqs {3 2, 4 2, 99 3}, :sv3 (3 99 4 99 3 99 4)}
{:interval-freqs {4 2, 147 2, 3 3}, :sv3 (4 3 147 3 4 3 147)}
{:interval-freqs {3 2, 145 2, 5 3}, :sv3 (3 5 145 5 3 5 145)}
{:interval-freqs {5 2, 146 2, 3 3}, :sv3 (5 3 146 3 5 3 146)}
{:interval-freqs {6 2, 145 2, 3 3}, :sv3 (6 3 145 3 6 3 145)}
{:interval-freqs {3 2, 7 2, 97 3}, :sv3 (3 97 7 97 3 97 7)}
{:interval-freqs {3 2, 142 2, 7 3}, :sv3 (3 7 142 7 3 7 142)}
{:interval-freqs {7 2, 144 2, 3 3}, :sv3 (7 3 144 3 7 3 144)}
{:interval-freqs {8 2, 143 2, 3 3}, :sv3 (8 3 143 3 8 3 143)}
{:interval-freqs {3 2, 139 2, 9 3}, :sv3 (3 9 139 9 3 9 139)}
{:interval-freqs {9 2, 142 2, 3 3}, :sv3 (9 3 142 3 9 3 142)}
{:interval-freqs {3 2, 10 2, 95 3}, :sv3 (3 95 10 95 3 95 10)}
{:interval-freqs {10 2, 141 2, 3 3}, :sv3 (10 3 141 3 10 3 141)}
{:interval-freqs {3 2, 136 2, 11 3}, :sv3 (3 11 136 11 3 11 136)}
{:interval-freqs {11 2, 140 2, 3 3}, :sv3 (11 3 140 3 11 3 140)}
{:interval-freqs {12 2, 139 2, 3 3}, :sv3 (12 3 139 3 12 3 139)}
{:interval-freqs {3 2, 13 2, 93 3}, :sv3 (3 93 13 93 3 93 13)}
{:interval-freqs {3 2, 133 2, 13 3}, :sv3 (3 13 133 13 3 13 133)}
{:interval-freqs {13 2, 138 2, 3 3}, :sv3 (13 3 138 3 13 3 138)}
{:interval-freqs {14 2, 137 2, 3 3}, :sv3 (14 3 137 3 14 3 137)}
{:interval-freqs {3 2, 130 2, 15 3}, :sv3 (3 15 130 15 3 15 130)}
{:interval-freqs {15 2, 136 2, 3 3}, :sv3 (15 3 136 3 15 3 136)}
{:interval-freqs {3 2, 16 2, 91 3}, :sv3 (3 91 16 91 3 91 16)}
{:interval-freqs {16 2, 135 2, 3 3}, :sv3 (16 3 135 3 16 3 135)}
{:interval-freqs {3 2, 127 2, 17 3}, :sv3 (3 17 127 17 3 17 127)}
{:interval-freqs {17 2, 134 2, 3 3}, :sv3 (17 3 134 3 17 3 134)}
{:interval-freqs {18 2, 133 2, 3 3}, :sv3 (18 3 133 3 18 3 133)}
{:interval-freqs {3 2, 19 2, 89 3}, :sv3 (3 89 19 89 3 89 19)}
{:interval-freqs {3 2, 124 2, 19 3}, :sv3 (3 19 124 19 3 19 124)}
{:interval-freqs {19 2, 132 2, 3 3}, :sv3 (19 3 132 3 19 3 132)}
{:interval-freqs {20 2, 131 2, 3 3}, :sv3 (20 3 131 3 20 3 131)}
{:interval-freqs {3 2, 121 2, 21 3}, :sv3 (3 21 121 21 3 21 121)}
{:interval-freqs {21 2, 130 2, 3 3}, :sv3 (21 3 130 3 21 3 130)}
{:interval-freqs {3 2, 22 2, 87 3}, :sv3 (3 87 22 87 3 87 22)}
{:interval-freqs {22 2, 129 2, 3 3}, :sv3 (22 3 129 3 22 3 129)}
{:interval-freqs {3 2, 118 2, 23 3}, :sv3 (3 23 118 23 3 23 118)}
{:interval-freqs {23 2, 128 2, 3 3}, :sv3 (23 3 128 3 23 3 128)}
{:interval-freqs {24 2, 127 2, 3 3}, :sv3 (24 3 127 3 24 3 127)}
{:interval-freqs {3 2, 25 2, 85 3}, :sv3 (3 85 25 85 3 85 25)}
{:interval-freqs {3 2, 115 2, 25 3}, :sv3 (3 25 115 25 3 25 115)}
{:interval-freqs {25 2, 126 2, 3 3}, :sv3 (25 3 126 3 25 3 126)}
{:interval-freqs {26 2, 125 2, 3 3}, :sv3 (26 3 125 3 26 3 125)}
{:interval-freqs {3 2, 112 2, 27 3}, :sv3 (3 27 112 27 3 27 112)}
{:interval-freqs {27 2, 124 2, 3 3}, :sv3 (27 3 124 3 27 3 124)}
{:interval-freqs {3 2, 28 2, 83 3}, :sv3 (3 83 28 83 3 83 28)}
{:interval-freqs {28 2, 123 2, 3 3}, :sv3 (28 3 123 3 28 3 123)}
{:interval-freqs {3 2, 109 2, 29 3}, :sv3 (3 29 109 29 3 29 109)}
{:interval-freqs {29 2, 122 2, 3 3}, :sv3 (29 3 122 3 29 3 122)}
{:interval-freqs {30 2, 121 2, 3 3}, :sv3 (30 3 121 3 30 3 121)}
{:interval-freqs {3 2, 31 2, 81 3}, :sv3 (3 81 31 81 3 81 31)}
{:interval-freqs {3 2, 106 2, 31 3}, :sv3 (3 31 106 31 3 31 106)}
{:interval-freqs {31 2, 120 2, 3 3}, :sv3 (31 3 120 3 31 3 120)}
{:interval-freqs {32 2, 119 2, 3 3}, :sv3 (32 3 119 3 32 3 119)}
{:interval-freqs {3 2, 103 2, 33 3}, :sv3 (3 33 103 33 3 33 103)}
{:interval-freqs {33 2, 118 2, 3 3}, :sv3 (33 3 118 3 33 3 118)}
{:interval-freqs {3 2, 34 2, 79 3}, :sv3 (3 79 34 79 3 79 34)}
{:interval-freqs {34 2, 117 2, 3 3}, :sv3 (34 3 117 3 34 3 117)}
{:interval-freqs {3 2, 100 2, 35 3}, :sv3 (3 35 100 35 3 35 100)}
{:interval-freqs {35 2, 116 2, 3 3}, :sv3 (35 3 116 3 35 3 116)}
{:interval-freqs {36 2, 115 2, 3 3}, :sv3 (36 3 115 3 36 3 115)}
{:interval-freqs {3 2, 37 2, 77 3}, :sv3 (3 77 37 77 3 77 37)}
{:interval-freqs {3 2, 97 2, 37 3}, :sv3 (3 37 97 37 3 37 97)}
{:interval-freqs {37 2, 114 2, 3 3}, :sv3 (37 3 114 3 37 3 114)}
{:interval-freqs {38 2, 113 2, 3 3}, :sv3 (38 3 113 3 38 3 113)}
{:interval-freqs {3 2, 94 2, 39 3}, :sv3 (3 39 94 39 3 39 94)}
{:interval-freqs {39 2, 112 2, 3 3}, :sv3 (39 3 112 3 39 3 112)}
{:interval-freqs {3 2, 40 2, 75 3}, :sv3 (3 75 40 75 3 75 40)}
{:interval-freqs {40 2, 111 2, 3 3}, :sv3 (40 3 111 3 40 3 111)}
{:interval-freqs {3 2, 91 2, 41 3}, :sv3 (3 41 91 41 3 41 91)}
{:interval-freqs {41 2, 110 2, 3 3}, :sv3 (41 3 110 3 41 3 110)}
{:interval-freqs {42 2, 109 2, 3 3}, :sv3 (42 3 109 3 42 3 109)}
{:interval-freqs {3 2, 43 2, 73 3}, :sv3 (3 73 43 73 3 73 43)}
{:interval-freqs {3 2, 88 2, 43 3}, :sv3 (3 43 88 43 3 43 88)}
{:interval-freqs {43 2, 108 2, 3 3}, :sv3 (43 3 108 3 43 3 108)}
{:interval-freqs {44 2, 107 2, 3 3}, :sv3 (44 3 107 3 44 3 107)}
{:interval-freqs {3 2, 85 2, 45 3}, :sv3 (3 45 85 45 3 45 85)}
{:interval-freqs {45 2, 106 2, 3 3}, :sv3 (45 3 106 3 45 3 106)}
{:interval-freqs {3 2, 46 2, 71 3}, :sv3 (3 71 46 71 3 71 46)}
{:interval-freqs {46 2, 105 2, 3 3}, :sv3 (46 3 105 3 46 3 105)}
{:interval-freqs {3 2, 82 2, 47 3}, :sv3 (3 47 82 47 3 47 82)}
{:interval-freqs {47 2, 104 2, 3 3}, :sv3 (47 3 104 3 47 3 104)}
{:interval-freqs {48 2, 103 2, 3 3}, :sv3 (48 3 103 3 48 3 103)}
{:interval-freqs {3 2, 49 2, 69 3}, :sv3 (3 69 49 69 3 69 49)}
{:interval-freqs {3 2, 79 2, 49 3}, :sv3 (3 49 79 49 3 49 79)}
{:interval-freqs {49 2, 102 2, 3 3}, :sv3 (49 3 102 3 49 3 102)}
{:interval-freqs {50 2, 101 2, 3 3}, :sv3 (50 3 101 3 50 3 101)}
{:interval-freqs {3 2, 76 2, 51 3}, :sv3 (3 51 76 51 3 51 76)}
{:interval-freqs {51 2, 100 2, 3 3}, :sv3 (51 3 100 3 51 3 100)}
{:interval-freqs {3 2, 52 2, 67 3}, :sv3 (3 67 52 67 3 67 52)}
{:interval-freqs {52 2, 99 2, 3 3}, :sv3 (52 3 99 3 52 3 99)}
{:interval-freqs {3 2, 73 2, 53 3}, :sv3 (3 53 73 53 3 53 73)}
{:interval-freqs {53 2, 98 2, 3 3}, :sv3 (53 3 98 3 53 3 98)}
{:interval-freqs {54 2, 97 2, 3 3}, :sv3 (54 3 97 3 54 3 97)}
{:interval-freqs {3 2, 55 2, 65 3}, :sv3 (3 65 55 65 3 65 55)}
{:interval-freqs {3 2, 70 2, 55 3}, :sv3 (3 55 70 55 3 55 70)}
{:interval-freqs {55 2, 96 2, 3 3}, :sv3 (55 3 96 3 55 3 96)}
{:interval-freqs {56 2, 95 2, 3 3}, :sv3 (56 3 95 3 56 3 95)}
{:interval-freqs {3 2, 67 2, 57 3}, :sv3 (3 57 67 57 3 57 67)}
{:interval-freqs {57 2, 94 2, 3 3}, :sv3 (57 3 94 3 57 3 94)}
{:interval-freqs {3 2, 58 2, 63 3}, :sv3 (3 63 58 63 3 63 58)}
{:interval-freqs {58 2, 93 2, 3 3}, :sv3 (58 3 93 3 58 3 93)}
{:interval-freqs {3 2, 64 2, 59 3}, :sv3 (3 59 64 59 3 59 64)}
{:interval-freqs {59 2, 92 2, 3 3}, :sv3 (59 3 92 3 59 3 92)}
{:interval-freqs {60 2, 91 2, 3 3}, :sv3 (60 3 91 3 60 3 91)}
{:interval-freqs {61 2, 90 2, 3 3}, :sv3 (61 3 90 3 61 3 90)}
{:interval-freqs {62 2, 89 2, 3 3}, :sv3 (62 3 89 3 62 3 89)}
{:interval-freqs {63 2, 88 2, 3 3}, :sv3 (63 3 88 3 63 3 88)}
{:interval-freqs {64 2, 87 2, 3 3}, :sv3 (64 3 87 3 64 3 87)}
{:interval-freqs {65 2, 86 2, 3 3}, :sv3 (65 3 86 3 65 3 86)}
{:interval-freqs {66 2, 85 2, 3 3}, :sv3 (66 3 85 3 66 3 85)}
{:interval-freqs {67 2, 84 2, 3 3}, :sv3 (67 3 84 3 67 3 84)}
{:interval-freqs {68 2, 83 2, 3 3}, :sv3 (68 3 83 3 68 3 83)}
{:interval-freqs {69 2, 82 2, 3 3}, :sv3 (69 3 82 3 69 3 82)}
{:interval-freqs {70 2, 81 2, 3 3}, :sv3 (70 3 81 3 70 3 81)}
{:interval-freqs {71 2, 80 2, 3 3}, :sv3 (71 3 80 3 71 3 80)}
{:interval-freqs {72 2, 79 2, 3 3}, :sv3 (72 3 79 3 72 3 79)}
{:interval-freqs {73 2, 78 2, 3 3}, :sv3 (73 3 78 3 73 3 78)}
{:interval-freqs {74 2, 77 2, 3 3}, :sv3 (74 3 77 3 74 3 77)}
{:interval-freqs {75 2, 76 2, 3 3}, :sv3 (75 3 76 3 75 3 76)}
{:interval-freqs {4 2, 144 2, 5 3}, :sv3 (4 5 144 5 4 5 144)}
{:interval-freqs {4 2, 6 2, 97 3}, :sv3 (4 97 6 97 4 97 6)}
{:interval-freqs {4 2, 141 2, 7 3}, :sv3 (4 7 141 7 4 7 141)}
{:interval-freqs {4 2, 9 2, 95 3}, :sv3 (4 95 9 95 4 95 9)}
{:interval-freqs {4 2, 138 2, 9 3}, :sv3 (4 9 138 9 4 9 138)}
{:interval-freqs {4 2, 135 2, 11 3}, :sv3 (4 11 135 11 4 11 135)}
{:interval-freqs {4 2, 12 2, 93 3}, :sv3 (4 93 12 93 4 93 12)}
{:interval-freqs {4 2, 132 2, 13 3}, :sv3 (4 13 132 13 4 13 132)}
{:interval-freqs {4 2, 15 2, 91 3}, :sv3 (4 91 15 91 4 91 15)}
{:interval-freqs {4 2, 129 2, 15 3}, :sv3 (4 15 129 15 4 15 129)}
{:interval-freqs {4 2, 126 2, 17 3}, :sv3 (4 17 126 17 4 17 126)}
{:interval-freqs {4 2, 18 2, 89 3}, :sv3 (4 89 18 89 4 89 18)}
{:interval-freqs {4 2, 123 2, 19 3}, :sv3 (4 19 123 19 4 19 123)}
{:interval-freqs {4 2, 21 2, 87 3}, :sv3 (4 87 21 87 4 87 21)}
{:interval-freqs {4 2, 120 2, 21 3}, :sv3 (4 21 120 21 4 21 120)}
{:interval-freqs {4 2, 117 2, 23 3}, :sv3 (4 23 117 23 4 23 117)}
{:interval-freqs {4 2, 24 2, 85 3}, :sv3 (4 85 24 85 4 85 24)}
{:interval-freqs {4 2, 114 2, 25 3}, :sv3 (4 25 114 25 4 25 114)}
{:interval-freqs {4 2, 27 2, 83 3}, :sv3 (4 83 27 83 4 83 27)}
{:interval-freqs {4 2, 111 2, 27 3}, :sv3 (4 27 111 27 4 27 111)}
{:interval-freqs {4 2, 108 2, 29 3}, :sv3 (4 29 108 29 4 29 108)}
{:interval-freqs {4 2, 30 2, 81 3}, :sv3 (4 81 30 81 4 81 30)}
{:interval-freqs {4 2, 105 2, 31 3}, :sv3 (4 31 105 31 4 31 105)}
{:interval-freqs {4 2, 33 2, 79 3}, :sv3 (4 79 33 79 4 79 33)}
{:interval-freqs {4 2, 102 2, 33 3}, :sv3 (4 33 102 33 4 33 102)}
{:interval-freqs {4 2, 99 2, 35 3}, :sv3 (4 35 99 35 4 35 99)}
{:interval-freqs {4 2, 36 2, 77 3}, :sv3 (4 77 36 77 4 77 36)}
{:interval-freqs {4 2, 96 2, 37 3}, :sv3 (4 37 96 37 4 37 96)}
{:interval-freqs {4 2, 39 2, 75 3}, :sv3 (4 75 39 75 4 75 39)}
{:interval-freqs {4 2, 93 2, 39 3}, :sv3 (4 39 93 39 4 39 93)}
{:interval-freqs {4 2, 90 2, 41 3}, :sv3 (4 41 90 41 4 41 90)}
{:interval-freqs {4 2, 42 2, 73 3}, :sv3 (4 73 42 73 4 73 42)}
{:interval-freqs {4 2, 87 2, 43 3}, :sv3 (4 43 87 43 4 43 87)}
{:interval-freqs {4 2, 45 2, 71 3}, :sv3 (4 71 45 71 4 71 45)}
{:interval-freqs {4 2, 84 2, 45 3}, :sv3 (4 45 84 45 4 45 84)}
{:interval-freqs {4 2, 81 2, 47 3}, :sv3 (4 47 81 47 4 47 81)}
{:interval-freqs {4 2, 48 2, 69 3}, :sv3 (4 69 48 69 4 69 48)}
{:interval-freqs {4 2, 78 2, 49 3}, :sv3 (4 49 78 49 4 49 78)}
{:interval-freqs {4 2, 51 2, 67 3}, :sv3 (4 67 51 67 4 67 51)}
{:interval-freqs {4 2, 75 2, 51 3}, :sv3 (4 51 75 51 4 51 75)}
{:interval-freqs {4 2, 72 2, 53 3}, :sv3 (4 53 72 53 4 53 72)}
{:interval-freqs {4 2, 54 2, 65 3}, :sv3 (4 65 54 65 4 65 54)}
{:interval-freqs {4 2, 69 2, 55 3}, :sv3 (4 55 69 55 4 55 69)}
{:interval-freqs {4 2, 57 2, 63 3}, :sv3 (4 63 57 63 4 63 57)}
{:interval-freqs {4 2, 66 2, 57 3}, :sv3 (4 57 66 57 4 57 66)}
{:interval-freqs {4 2, 63 2, 59 3}, :sv3 (4 59 63 59 4 59 63)}
{:interval-freqs {4 2, 60 2, 61 3}, :sv3 (4 61 60 61 4 61 60)}
{:interval-freqs {6 2, 142 2, 5 3}, :sv3 (6 5 142 5 6 5 142)}
{:interval-freqs {5 2, 140 2, 7 3}, :sv3 (5 7 140 7 5 7 140)}
{:interval-freqs {7 2, 141 2, 5 3}, :sv3 (7 5 141 5 7 5 141)}
{:interval-freqs {5 2, 8 2, 95 3}, :sv3 (5 95 8 95 5 95 8)}
{:interval-freqs {8 2, 140 2, 5 3}, :sv3 (8 5 140 5 8 5 140)}
{:interval-freqs {5 2, 137 2, 9 3}, :sv3 (5 9 137 9 5 9 137)}
{:interval-freqs {9 2, 139 2, 5 3}, :sv3 (9 5 139 5 9 5 139)}
{:interval-freqs {10 2, 138 2, 5 3}, :sv3 (10 5 138 5 10 5 138)}
{:interval-freqs {5 2, 11 2, 93 3}, :sv3 (5 93 11 93 5 93 11)}
{:interval-freqs {5 2, 134 2, 11 3}, :sv3 (5 11 134 11 5 11 134)}
{:interval-freqs {11 2, 137 2, 5 3}, :sv3 (11 5 137 5 11 5 137)}
{:interval-freqs {12 2, 136 2, 5 3}, :sv3 (12 5 136 5 12 5 136)}
{:interval-freqs {5 2, 131 2, 13 3}, :sv3 (5 13 131 13 5 13 131)}
{:interval-freqs {13 2, 135 2, 5 3}, :sv3 (13 5 135 5 13 5 135)}
{:interval-freqs {5 2, 14 2, 91 3}, :sv3 (5 91 14 91 5 91 14)}
{:interval-freqs {14 2, 134 2, 5 3}, :sv3 (14 5 134 5 14 5 134)}
{:interval-freqs {5 2, 128 2, 15 3}, :sv3 (5 15 128 15 5 15 128)}
{:interval-freqs {15 2, 133 2, 5 3}, :sv3 (15 5 133 5 15 5 133)}
{:interval-freqs {16 2, 132 2, 5 3}, :sv3 (16 5 132 5 16 5 132)}
{:interval-freqs {5 2, 17 2, 89 3}, :sv3 (5 89 17 89 5 89 17)}
{:interval-freqs {5 2, 125 2, 17 3}, :sv3 (5 17 125 17 5 17 125)}
{:interval-freqs {17 2, 131 2, 5 3}, :sv3 (17 5 131 5 17 5 131)}
{:interval-freqs {18 2, 130 2, 5 3}, :sv3 (18 5 130 5 18 5 130)}
{:interval-freqs {5 2, 122 2, 19 3}, :sv3 (5 19 122 19 5 19 122)}
{:interval-freqs {19 2, 129 2, 5 3}, :sv3 (19 5 129 5 19 5 129)}
{:interval-freqs {5 2, 20 2, 87 3}, :sv3 (5 87 20 87 5 87 20)}
{:interval-freqs {20 2, 128 2, 5 3}, :sv3 (20 5 128 5 20 5 128)}
{:interval-freqs {5 2, 119 2, 21 3}, :sv3 (5 21 119 21 5 21 119)}
{:interval-freqs {21 2, 127 2, 5 3}, :sv3 (21 5 127 5 21 5 127)}
{:interval-freqs {22 2, 126 2, 5 3}, :sv3 (22 5 126 5 22 5 126)}
{:interval-freqs {5 2, 23 2, 85 3}, :sv3 (5 85 23 85 5 85 23)}
{:interval-freqs {5 2, 116 2, 23 3}, :sv3 (5 23 116 23 5 23 116)}
{:interval-freqs {23 2, 125 2, 5 3}, :sv3 (23 5 125 5 23 5 125)}
{:interval-freqs {24 2, 124 2, 5 3}, :sv3 (24 5 124 5 24 5 124)}
{:interval-freqs {5 2, 113 2, 25 3}, :sv3 (5 25 113 25 5 25 113)}
{:interval-freqs {25 2, 123 2, 5 3}, :sv3 (25 5 123 5 25 5 123)}
{:interval-freqs {5 2, 26 2, 83 3}, :sv3 (5 83 26 83 5 83 26)}
{:interval-freqs {26 2, 122 2, 5 3}, :sv3 (26 5 122 5 26 5 122)}
{:interval-freqs {5 2, 110 2, 27 3}, :sv3 (5 27 110 27 5 27 110)}
{:interval-freqs {27 2, 121 2, 5 3}, :sv3 (27 5 121 5 27 5 121)}
{:interval-freqs {28 2, 120 2, 5 3}, :sv3 (28 5 120 5 28 5 120)}
{:interval-freqs {5 2, 29 2, 81 3}, :sv3 (5 81 29 81 5 81 29)}
{:interval-freqs {5 2, 107 2, 29 3}, :sv3 (5 29 107 29 5 29 107)}
{:interval-freqs {29 2, 119 2, 5 3}, :sv3 (29 5 119 5 29 5 119)}
{:interval-freqs {30 2, 118 2, 5 3}, :sv3 (30 5 118 5 30 5 118)}
{:interval-freqs {5 2, 104 2, 31 3}, :sv3 (5 31 104 31 5 31 104)}
{:interval-freqs {31 2, 117 2, 5 3}, :sv3 (31 5 117 5 31 5 117)}
{:interval-freqs {5 2, 32 2, 79 3}, :sv3 (5 79 32 79 5 79 32)}
{:interval-freqs {32 2, 116 2, 5 3}, :sv3 (32 5 116 5 32 5 116)}
{:interval-freqs {5 2, 101 2, 33 3}, :sv3 (5 33 101 33 5 33 101)}
{:interval-freqs {33 2, 115 2, 5 3}, :sv3 (33 5 115 5 33 5 115)}
{:interval-freqs {34 2, 114 2, 5 3}, :sv3 (34 5 114 5 34 5 114)}
{:interval-freqs {5 2, 35 2, 77 3}, :sv3 (5 77 35 77 5 77 35)}
{:interval-freqs {5 2, 98 2, 35 3}, :sv3 (5 35 98 35 5 35 98)}
{:interval-freqs {35 2, 113 2, 5 3}, :sv3 (35 5 113 5 35 5 113)}
{:interval-freqs {36 2, 112 2, 5 3}, :sv3 (36 5 112 5 36 5 112)}
{:interval-freqs {5 2, 95 2, 37 3}, :sv3 (5 37 95 37 5 37 95)}
{:interval-freqs {37 2, 111 2, 5 3}, :sv3 (37 5 111 5 37 5 111)}
{:interval-freqs {5 2, 38 2, 75 3}, :sv3 (5 75 38 75 5 75 38)}
{:interval-freqs {38 2, 110 2, 5 3}, :sv3 (38 5 110 5 38 5 110)}
{:interval-freqs {5 2, 92 2, 39 3}, :sv3 (5 39 92 39 5 39 92)}
{:interval-freqs {39 2, 109 2, 5 3}, :sv3 (39 5 109 5 39 5 109)}
{:interval-freqs {40 2, 108 2, 5 3}, :sv3 (40 5 108 5 40 5 108)}
{:interval-freqs {5 2, 41 2, 73 3}, :sv3 (5 73 41 73 5 73 41)}
{:interval-freqs {5 2, 89 2, 41 3}, :sv3 (5 41 89 41 5 41 89)}
{:interval-freqs {41 2, 107 2, 5 3}, :sv3 (41 5 107 5 41 5 107)}
{:interval-freqs {42 2, 106 2, 5 3}, :sv3 (42 5 106 5 42 5 106)}
{:interval-freqs {5 2, 86 2, 43 3}, :sv3 (5 43 86 43 5 43 86)}
{:interval-freqs {43 2, 105 2, 5 3}, :sv3 (43 5 105 5 43 5 105)}
{:interval-freqs {5 2, 44 2, 71 3}, :sv3 (5 71 44 71 5 71 44)}
{:interval-freqs {44 2, 104 2, 5 3}, :sv3 (44 5 104 5 44 5 104)}
{:interval-freqs {5 2, 83 2, 45 3}, :sv3 (5 45 83 45 5 45 83)}
{:interval-freqs {45 2, 103 2, 5 3}, :sv3 (45 5 103 5 45 5 103)}
{:interval-freqs {46 2, 102 2, 5 3}, :sv3 (46 5 102 5 46 5 102)}
{:interval-freqs {5 2, 47 2, 69 3}, :sv3 (5 69 47 69 5 69 47)}
{:interval-freqs {5 2, 80 2, 47 3}, :sv3 (5 47 80 47 5 47 80)}
{:interval-freqs {47 2, 101 2, 5 3}, :sv3 (47 5 101 5 47 5 101)}
{:interval-freqs {48 2, 100 2, 5 3}, :sv3 (48 5 100 5 48 5 100)}
{:interval-freqs {5 2, 77 2, 49 3}, :sv3 (5 49 77 49 5 49 77)}
{:interval-freqs {49 2, 99 2, 5 3}, :sv3 (49 5 99 5 49 5 99)}
{:interval-freqs {5 2, 50 2, 67 3}, :sv3 (5 67 50 67 5 67 50)}
{:interval-freqs {50 2, 98 2, 5 3}, :sv3 (50 5 98 5 50 5 98)}
{:interval-freqs {5 2, 74 2, 51 3}, :sv3 (5 51 74 51 5 51 74)}
{:interval-freqs {51 2, 97 2, 5 3}, :sv3 (51 5 97 5 51 5 97)}
{:interval-freqs {52 2, 96 2, 5 3}, :sv3 (52 5 96 5 52 5 96)}
{:interval-freqs {5 2, 53 2, 65 3}, :sv3 (5 65 53 65 5 65 53)}
{:interval-freqs {5 2, 71 2, 53 3}, :sv3 (5 53 71 53 5 53 71)}
{:interval-freqs {53 2, 95 2, 5 3}, :sv3 (53 5 95 5 53 5 95)}
{:interval-freqs {54 2, 94 2, 5 3}, :sv3 (54 5 94 5 54 5 94)}
{:interval-freqs {5 2, 68 2, 55 3}, :sv3 (5 55 68 55 5 55 68)}
{:interval-freqs {55 2, 93 2, 5 3}, :sv3 (55 5 93 5 55 5 93)}
{:interval-freqs {5 2, 56 2, 63 3}, :sv3 (5 63 56 63 5 63 56)}
{:interval-freqs {56 2, 92 2, 5 3}, :sv3 (56 5 92 5 56 5 92)}
{:interval-freqs {5 2, 65 2, 57 3}, :sv3 (5 57 65 57 5 57 65)}
{:interval-freqs {57 2, 91 2, 5 3}, :sv3 (57 5 91 5 57 5 91)}
{:interval-freqs {58 2, 90 2, 5 3}, :sv3 (58 5 90 5 58 5 90)}
{:interval-freqs {5 2, 59 2, 61 3}, :sv3 (5 61 59 61 5 61 59)}
{:interval-freqs {5 2, 62 2, 59 3}, :sv3 (5 59 62 59 5 59 62)}
{:interval-freqs {59 2, 89 2, 5 3}, :sv3 (59 5 89 5 59 5 89)}
{:interval-freqs {60 2, 88 2, 5 3}, :sv3 (60 5 88 5 60 5 88)}
{:interval-freqs {61 2, 87 2, 5 3}, :sv3 (61 5 87 5 61 5 87)}
{:interval-freqs {62 2, 86 2, 5 3}, :sv3 (62 5 86 5 62 5 86)}
{:interval-freqs {63 2, 85 2, 5 3}, :sv3 (63 5 85 5 63 5 85)}
{:interval-freqs {64 2, 84 2, 5 3}, :sv3 (64 5 84 5 64 5 84)}
{:interval-freqs {65 2, 83 2, 5 3}, :sv3 (65 5 83 5 65 5 83)}
{:interval-freqs {66 2, 82 2, 5 3}, :sv3 (66 5 82 5 66 5 82)}
{:interval-freqs {67 2, 81 2, 5 3}, :sv3 (67 5 81 5 67 5 81)}
{:interval-freqs {68 2, 80 2, 5 3}, :sv3 (68 5 80 5 68 5 80)}
{:interval-freqs {69 2, 79 2, 5 3}, :sv3 (69 5 79 5 69 5 79)}
{:interval-freqs {70 2, 78 2, 5 3}, :sv3 (70 5 78 5 70 5 78)}
{:interval-freqs {71 2, 77 2, 5 3}, :sv3 (71 5 77 5 71 5 77)}
{:interval-freqs {72 2, 76 2, 5 3}, :sv3 (72 5 76 5 72 5 76)}
{:interval-freqs {73 2, 75 2, 5 3}, :sv3 (73 5 75 5 73 5 75)}
{:interval-freqs {6 2, 7 2, 95 3}, :sv3 (6 95 7 95 6 95 7)}
{:interval-freqs {6 2, 139 2, 7 3}, :sv3 (6 7 139 7 6 7 139)}
{:interval-freqs {6 2, 136 2, 9 3}, :sv3 (6 9 136 9 6 9 136)}
{:interval-freqs {6 2, 10 2, 93 3}, :sv3 (6 93 10 93 6 93 10)}
{:interval-freqs {6 2, 133 2, 11 3}, :sv3 (6 11 133 11 6 11 133)}
{:interval-freqs {6 2, 13 2, 91 3}, :sv3 (6 91 13 91 6 91 13)}
{:interval-freqs {6 2, 130 2, 13 3}, :sv3 (6 13 130 13 6 13 130)}
{:interval-freqs {6 2, 127 2, 15 3}, :sv3 (6 15 127 15 6 15 127)}
{:interval-freqs {6 2, 16 2, 89 3}, :sv3 (6 89 16 89 6 89 16)}
{:interval-freqs {6 2, 124 2, 17 3}, :sv3 (6 17 124 17 6 17 124)}
{:interval-freqs {6 2, 19 2, 87 3}, :sv3 (6 87 19 87 6 87 19)}
{:interval-freqs {6 2, 121 2, 19 3}, :sv3 (6 19 121 19 6 19 121)}
{:interval-freqs {6 2, 118 2, 21 3}, :sv3 (6 21 118 21 6 21 118)}
{:interval-freqs {6 2, 22 2, 85 3}, :sv3 (6 85 22 85 6 85 22)}
{:interval-freqs {6 2, 115 2, 23 3}, :sv3 (6 23 115 23 6 23 115)}
{:interval-freqs {6 2, 25 2, 83 3}, :sv3 (6 83 25 83 6 83 25)}
{:interval-freqs {6 2, 112 2, 25 3}, :sv3 (6 25 112 25 6 25 112)}
{:interval-freqs {6 2, 109 2, 27 3}, :sv3 (6 27 109 27 6 27 109)}
{:interval-freqs {6 2, 28 2, 81 3}, :sv3 (6 81 28 81 6 81 28)}
{:interval-freqs {6 2, 106 2, 29 3}, :sv3 (6 29 106 29 6 29 106)}
{:interval-freqs {6 2, 31 2, 79 3}, :sv3 (6 79 31 79 6 79 31)}
{:interval-freqs {6 2, 103 2, 31 3}, :sv3 (6 31 103 31 6 31 103)}
{:interval-freqs {6 2, 100 2, 33 3}, :sv3 (6 33 100 33 6 33 100)}
{:interval-freqs {6 2, 34 2, 77 3}, :sv3 (6 77 34 77 6 77 34)}
{:interval-freqs {6 2, 97 2, 35 3}, :sv3 (6 35 97 35 6 35 97)}
{:interval-freqs {6 2, 37 2, 75 3}, :sv3 (6 75 37 75 6 75 37)}
{:interval-freqs {6 2, 94 2, 37 3}, :sv3 (6 37 94 37 6 37 94)}
{:interval-freqs {6 2, 91 2, 39 3}, :sv3 (6 39 91 39 6 39 91)}
{:interval-freqs {6 2, 40 2, 73 3}, :sv3 (6 73 40 73 6 73 40)}
{:interval-freqs {6 2, 88 2, 41 3}, :sv3 (6 41 88 41 6 41 88)}
{:interval-freqs {6 2, 43 2, 71 3}, :sv3 (6 71 43 71 6 71 43)}
{:interval-freqs {6 2, 85 2, 43 3}, :sv3 (6 43 85 43 6 43 85)}
{:interval-freqs {6 2, 82 2, 45 3}, :sv3 (6 45 82 45 6 45 82)}
{:interval-freqs {6 2, 46 2, 69 3}, :sv3 (6 69 46 69 6 69 46)}
{:interval-freqs {6 2, 79 2, 47 3}, :sv3 (6 47 79 47 6 47 79)}
{:interval-freqs {6 2, 49 2, 67 3}, :sv3 (6 67 49 67 6 67 49)}
{:interval-freqs {6 2, 76 2, 49 3}, :sv3 (6 49 76 49 6 49 76)}
{:interval-freqs {6 2, 73 2, 51 3}, :sv3 (6 51 73 51 6 51 73)}
{:interval-freqs {6 2, 52 2, 65 3}, :sv3 (6 65 52 65 6 65 52)}
{:interval-freqs {6 2, 70 2, 53 3}, :sv3 (6 53 70 53 6 53 70)}
{:interval-freqs {6 2, 55 2, 63 3}, :sv3 (6 63 55 63 6 63 55)}
{:interval-freqs {6 2, 67 2, 55 3}, :sv3 (6 55 67 55 6 55 67)}
{:interval-freqs {6 2, 64 2, 57 3}, :sv3 (6 57 64 57 6 57 64)}
{:interval-freqs {6 2, 58 2, 61 3}, :sv3 (6 61 58 61 6 61 58)}
{:interval-freqs {6 2, 61 2, 59 3}, :sv3 (6 59 61 59 6 59 61)}
{:interval-freqs {8 2, 137 2, 7 3}, :sv3 (8 7 137 7 8 7 137)}
{:interval-freqs {7 2, 9 2, 93 3}, :sv3 (7 93 9 93 7 93 9)}
{:interval-freqs {7 2, 135 2, 9 3}, :sv3 (7 9 135 9 7 9 135)}
{:interval-freqs {9 2, 136 2, 7 3}, :sv3 (9 7 136 7 9 7 136)}
{:interval-freqs {10 2, 135 2, 7 3}, :sv3 (10 7 135 7 10 7 135)}
{:interval-freqs {7 2, 132 2, 11 3}, :sv3 (7 11 132 11 7 11 132)}
{:interval-freqs {11 2, 134 2, 7 3}, :sv3 (11 7 134 7 11 7 134)}
{:interval-freqs {7 2, 12 2, 91 3}, :sv3 (7 91 12 91 7 91 12)}
{:interval-freqs {12 2, 133 2, 7 3}, :sv3 (12 7 133 7 12 7 133)}
{:interval-freqs {7 2, 129 2, 13 3}, :sv3 (7 13 129 13 7 13 129)}
{:interval-freqs {13 2, 132 2, 7 3}, :sv3 (13 7 132 7 13 7 132)}
{:interval-freqs {14 2, 131 2, 7 3}, :sv3 (14 7 131 7 14 7 131)}
{:interval-freqs {7 2, 15 2, 89 3}, :sv3 (7 89 15 89 7 89 15)}
{:interval-freqs {7 2, 126 2, 15 3}, :sv3 (7 15 126 15 7 15 126)}
{:interval-freqs {15 2, 130 2, 7 3}, :sv3 (15 7 130 7 15 7 130)}
{:interval-freqs {16 2, 129 2, 7 3}, :sv3 (16 7 129 7 16 7 129)}
{:interval-freqs {7 2, 123 2, 17 3}, :sv3 (7 17 123 17 7 17 123)}
{:interval-freqs {17 2, 128 2, 7 3}, :sv3 (17 7 128 7 17 7 128)}
{:interval-freqs {7 2, 18 2, 87 3}, :sv3 (7 87 18 87 7 87 18)}
{:interval-freqs {18 2, 127 2, 7 3}, :sv3 (18 7 127 7 18 7 127)}
{:interval-freqs {7 2, 120 2, 19 3}, :sv3 (7 19 120 19 7 19 120)}
{:interval-freqs {19 2, 126 2, 7 3}, :sv3 (19 7 126 7 19 7 126)}
{:interval-freqs {20 2, 125 2, 7 3}, :sv3 (20 7 125 7 20 7 125)}
{:interval-freqs {7 2, 21 2, 85 3}, :sv3 (7 85 21 85 7 85 21)}
{:interval-freqs {7 2, 117 2, 21 3}, :sv3 (7 21 117 21 7 21 117)}
{:interval-freqs {21 2, 124 2, 7 3}, :sv3 (21 7 124 7 21 7 124)}
{:interval-freqs {22 2, 123 2, 7 3}, :sv3 (22 7 123 7 22 7 123)}
{:interval-freqs {7 2, 114 2, 23 3}, :sv3 (7 23 114 23 7 23 114)}
{:interval-freqs {23 2, 122 2, 7 3}, :sv3 (23 7 122 7 23 7 122)}
{:interval-freqs {7 2, 24 2, 83 3}, :sv3 (7 83 24 83 7 83 24)}
{:interval-freqs {24 2, 121 2, 7 3}, :sv3 (24 7 121 7 24 7 121)}
{:interval-freqs {7 2, 111 2, 25 3}, :sv3 (7 25 111 25 7 25 111)}
{:interval-freqs {25 2, 120 2, 7 3}, :sv3 (25 7 120 7 25 7 120)}
{:interval-freqs {26 2, 119 2, 7 3}, :sv3 (26 7 119 7 26 7 119)}
{:interval-freqs {7 2, 27 2, 81 3}, :sv3 (7 81 27 81 7 81 27)}
{:interval-freqs {7 2, 108 2, 27 3}, :sv3 (7 27 108 27 7 27 108)}
{:interval-freqs {27 2, 118 2, 7 3}, :sv3 (27 7 118 7 27 7 118)}
{:interval-freqs {28 2, 117 2, 7 3}, :sv3 (28 7 117 7 28 7 117)}
{:interval-freqs {7 2, 105 2, 29 3}, :sv3 (7 29 105 29 7 29 105)}
{:interval-freqs {29 2, 116 2, 7 3}, :sv3 (29 7 116 7 29 7 116)}
{:interval-freqs {7 2, 30 2, 79 3}, :sv3 (7 79 30 79 7 79 30)}
{:interval-freqs {30 2, 115 2, 7 3}, :sv3 (30 7 115 7 30 7 115)}
{:interval-freqs {7 2, 102 2, 31 3}, :sv3 (7 31 102 31 7 31 102)}
{:interval-freqs {31 2, 114 2, 7 3}, :sv3 (31 7 114 7 31 7 114)}
{:interval-freqs {32 2, 113 2, 7 3}, :sv3 (32 7 113 7 32 7 113)}
{:interval-freqs {7 2, 33 2, 77 3}, :sv3 (7 77 33 77 7 77 33)}
{:interval-freqs {7 2, 99 2, 33 3}, :sv3 (7 33 99 33 7 33 99)}
{:interval-freqs {33 2, 112 2, 7 3}, :sv3 (33 7 112 7 33 7 112)}
{:interval-freqs {34 2, 111 2, 7 3}, :sv3 (34 7 111 7 34 7 111)}
{:interval-freqs {7 2, 96 2, 35 3}, :sv3 (7 35 96 35 7 35 96)}
{:interval-freqs {35 2, 110 2, 7 3}, :sv3 (35 7 110 7 35 7 110)}
{:interval-freqs {7 2, 36 2, 75 3}, :sv3 (7 75 36 75 7 75 36)}
{:interval-freqs {36 2, 109 2, 7 3}, :sv3 (36 7 109 7 36 7 109)}
{:interval-freqs {7 2, 93 2, 37 3}, :sv3 (7 37 93 37 7 37 93)}
{:interval-freqs {37 2, 108 2, 7 3}, :sv3 (37 7 108 7 37 7 108)}
{:interval-freqs {38 2, 107 2, 7 3}, :sv3 (38 7 107 7 38 7 107)}
{:interval-freqs {7 2, 39 2, 73 3}, :sv3 (7 73 39 73 7 73 39)}
{:interval-freqs {7 2, 90 2, 39 3}, :sv3 (7 39 90 39 7 39 90)}
{:interval-freqs {39 2, 106 2, 7 3}, :sv3 (39 7 106 7 39 7 106)}
{:interval-freqs {40 2, 105 2, 7 3}, :sv3 (40 7 105 7 40 7 105)}
{:interval-freqs {7 2, 87 2, 41 3}, :sv3 (7 41 87 41 7 41 87)}
{:interval-freqs {41 2, 104 2, 7 3}, :sv3 (41 7 104 7 41 7 104)}
{:interval-freqs {7 2, 42 2, 71 3}, :sv3 (7 71 42 71 7 71 42)}
{:interval-freqs {42 2, 103 2, 7 3}, :sv3 (42 7 103 7 42 7 103)}
{:interval-freqs {7 2, 84 2, 43 3}, :sv3 (7 43 84 43 7 43 84)}
{:interval-freqs {43 2, 102 2, 7 3}, :sv3 (43 7 102 7 43 7 102)}
{:interval-freqs {44 2, 101 2, 7 3}, :sv3 (44 7 101 7 44 7 101)}
{:interval-freqs {7 2, 45 2, 69 3}, :sv3 (7 69 45 69 7 69 45)}
{:interval-freqs {7 2, 81 2, 45 3}, :sv3 (7 45 81 45 7 45 81)}
{:interval-freqs {45 2, 100 2, 7 3}, :sv3 (45 7 100 7 45 7 100)}
{:interval-freqs {46 2, 99 2, 7 3}, :sv3 (46 7 99 7 46 7 99)}
{:interval-freqs {7 2, 78 2, 47 3}, :sv3 (7 47 78 47 7 47 78)}
{:interval-freqs {47 2, 98 2, 7 3}, :sv3 (47 7 98 7 47 7 98)}
{:interval-freqs {7 2, 48 2, 67 3}, :sv3 (7 67 48 67 7 67 48)}
{:interval-freqs {48 2, 97 2, 7 3}, :sv3 (48 7 97 7 48 7 97)}
{:interval-freqs {7 2, 75 2, 49 3}, :sv3 (7 49 75 49 7 49 75)}
{:interval-freqs {49 2, 96 2, 7 3}, :sv3 (49 7 96 7 49 7 96)}
{:interval-freqs {50 2, 95 2, 7 3}, :sv3 (50 7 95 7 50 7 95)}
{:interval-freqs {7 2, 51 2, 65 3}, :sv3 (7 65 51 65 7 65 51)}
{:interval-freqs {7 2, 72 2, 51 3}, :sv3 (7 51 72 51 7 51 72)}
{:interval-freqs {51 2, 94 2, 7 3}, :sv3 (51 7 94 7 51 7 94)}
{:interval-freqs {52 2, 93 2, 7 3}, :sv3 (52 7 93 7 52 7 93)}
{:interval-freqs {7 2, 69 2, 53 3}, :sv3 (7 53 69 53 7 53 69)}
{:interval-freqs {53 2, 92 2, 7 3}, :sv3 (53 7 92 7 53 7 92)}
{:interval-freqs {7 2, 54 2, 63 3}, :sv3 (7 63 54 63 7 63 54)}
{:interval-freqs {54 2, 91 2, 7 3}, :sv3 (54 7 91 7 54 7 91)}
{:interval-freqs {7 2, 66 2, 55 3}, :sv3 (7 55 66 55 7 55 66)}
{:interval-freqs {55 2, 90 2, 7 3}, :sv3 (55 7 90 7 55 7 90)}
{:interval-freqs {56 2, 89 2, 7 3}, :sv3 (56 7 89 7 56 7 89)}
{:interval-freqs {7 2, 57 2, 61 3}, :sv3 (7 61 57 61 7 61 57)}
{:interval-freqs {7 2, 63 2, 57 3}, :sv3 (7 57 63 57 7 57 63)}
{:interval-freqs {57 2, 88 2, 7 3}, :sv3 (57 7 88 7 57 7 88)}
{:interval-freqs {58 2, 87 2, 7 3}, :sv3 (58 7 87 7 58 7 87)}
{:interval-freqs {7 2, 60 2, 59 3}, :sv3 (7 59 60 59 7 59 60)}
{:interval-freqs {59 2, 86 2, 7 3}, :sv3 (59 7 86 7 59 7 86)}
{:interval-freqs {60 2, 85 2, 7 3}, :sv3 (60 7 85 7 60 7 85)}
{:interval-freqs {61 2, 84 2, 7 3}, :sv3 (61 7 84 7 61 7 84)}
{:interval-freqs {62 2, 83 2, 7 3}, :sv3 (62 7 83 7 62 7 83)}
{:interval-freqs {63 2, 82 2, 7 3}, :sv3 (63 7 82 7 63 7 82)}
{:interval-freqs {64 2, 81 2, 7 3}, :sv3 (64 7 81 7 64 7 81)}
{:interval-freqs {65 2, 80 2, 7 3}, :sv3 (65 7 80 7 65 7 80)}
{:interval-freqs {66 2, 79 2, 7 3}, :sv3 (66 7 79 7 66 7 79)}
{:interval-freqs {67 2, 78 2, 7 3}, :sv3 (67 7 78 7 67 7 78)}
{:interval-freqs {68 2, 77 2, 7 3}, :sv3 (68 7 77 7 68 7 77)}
{:interval-freqs {69 2, 76 2, 7 3}, :sv3 (69 7 76 7 69 7 76)}
{:interval-freqs {70 2, 75 2, 7 3}, :sv3 (70 7 75 7 70 7 75)}
{:interval-freqs {71 2, 74 2, 7 3}, :sv3 (71 7 74 7 71 7 74)}
{:interval-freqs {72 2, 73 2, 7 3}, :sv3 (72 7 73 7 72 7 73)}
{:interval-freqs {8 2, 134 2, 9 3}, :sv3 (8 9 134 9 8 9 134)}
{:interval-freqs {8 2, 11 2, 91 3}, :sv3 (8 91 11 91 8 91 11)}
{:interval-freqs {8 2, 131 2, 11 3}, :sv3 (8 11 131 11 8 11 131)}
{:interval-freqs {8 2, 128 2, 13 3}, :sv3 (8 13 128 13 8 13 128)}
{:interval-freqs {8 2, 14 2, 89 3}, :sv3 (8 89 14 89 8 89 14)}
{:interval-freqs {8 2, 125 2, 15 3}, :sv3 (8 15 125 15 8 15 125)}
{:interval-freqs {8 2, 17 2, 87 3}, :sv3 (8 87 17 87 8 87 17)}
{:interval-freqs {8 2, 122 2, 17 3}, :sv3 (8 17 122 17 8 17 122)}
{:interval-freqs {8 2, 119 2, 19 3}, :sv3 (8 19 119 19 8 19 119)}
{:interval-freqs {8 2, 20 2, 85 3}, :sv3 (8 85 20 85 8 85 20)}
{:interval-freqs {8 2, 116 2, 21 3}, :sv3 (8 21 116 21 8 21 116)}
{:interval-freqs {8 2, 23 2, 83 3}, :sv3 (8 83 23 83 8 83 23)}
{:interval-freqs {8 2, 113 2, 23 3}, :sv3 (8 23 113 23 8 23 113)}
{:interval-freqs {8 2, 110 2, 25 3}, :sv3 (8 25 110 25 8 25 110)}
{:interval-freqs {8 2, 26 2, 81 3}, :sv3 (8 81 26 81 8 81 26)}
{:interval-freqs {8 2, 107 2, 27 3}, :sv3 (8 27 107 27 8 27 107)}
{:interval-freqs {8 2, 29 2, 79 3}, :sv3 (8 79 29 79 8 79 29)}
{:interval-freqs {8 2, 104 2, 29 3}, :sv3 (8 29 104 29 8 29 104)}
{:interval-freqs {8 2, 101 2, 31 3}, :sv3 (8 31 101 31 8 31 101)}
{:interval-freqs {8 2, 32 2, 77 3}, :sv3 (8 77 32 77 8 77 32)}
{:interval-freqs {8 2, 98 2, 33 3}, :sv3 (8 33 98 33 8 33 98)}
{:interval-freqs {8 2, 35 2, 75 3}, :sv3 (8 75 35 75 8 75 35)}
{:interval-freqs {8 2, 95 2, 35 3}, :sv3 (8 35 95 35 8 35 95)}
{:interval-freqs {8 2, 92 2, 37 3}, :sv3 (8 37 92 37 8 37 92)}
{:interval-freqs {8 2, 38 2, 73 3}, :sv3 (8 73 38 73 8 73 38)}
{:interval-freqs {8 2, 89 2, 39 3}, :sv3 (8 39 89 39 8 39 89)}
{:interval-freqs {8 2, 41 2, 71 3}, :sv3 (8 71 41 71 8 71 41)}
{:interval-freqs {8 2, 86 2, 41 3}, :sv3 (8 41 86 41 8 41 86)}
{:interval-freqs {8 2, 83 2, 43 3}, :sv3 (8 43 83 43 8 43 83)}
{:interval-freqs {8 2, 44 2, 69 3}, :sv3 (8 69 44 69 8 69 44)}
{:interval-freqs {8 2, 80 2, 45 3}, :sv3 (8 45 80 45 8 45 80)}
{:interval-freqs {8 2, 47 2, 67 3}, :sv3 (8 67 47 67 8 67 47)}
{:interval-freqs {8 2, 77 2, 47 3}, :sv3 (8 47 77 47 8 47 77)}
{:interval-freqs {8 2, 74 2, 49 3}, :sv3 (8 49 74 49 8 49 74)}
{:interval-freqs {8 2, 50 2, 65 3}, :sv3 (8 65 50 65 8 65 50)}
{:interval-freqs {8 2, 71 2, 51 3}, :sv3 (8 51 71 51 8 51 71)}
{:interval-freqs {8 2, 53 2, 63 3}, :sv3 (8 63 53 63 8 63 53)}
{:interval-freqs {8 2, 68 2, 53 3}, :sv3 (8 53 68 53 8 53 68)}
{:interval-freqs {8 2, 65 2, 55 3}, :sv3 (8 55 65 55 8 55 65)}
{:interval-freqs {8 2, 56 2, 61 3}, :sv3 (8 61 56 61 8 61 56)}
{:interval-freqs {8 2, 62 2, 57 3}, :sv3 (8 57 62 57 8 57 62)}
{:interval-freqs {9 2, 10 2, 91 3}, :sv3 (9 91 10 91 9 91 10)}
{:interval-freqs {10 2, 132 2, 9 3}, :sv3 (10 9 132 9 10 9 132)}
{:interval-freqs {9 2, 130 2, 11 3}, :sv3 (9 11 130 11 9 11 130)}
{:interval-freqs {11 2, 131 2, 9 3}, :sv3 (11 9 131 9 11 9 131)}
{:interval-freqs {12 2, 130 2, 9 3}, :sv3 (12 9 130 9 12 9 130)}
{:interval-freqs {9 2, 13 2, 89 3}, :sv3 (9 89 13 89 9 89 13)}
{:interval-freqs {9 2, 127 2, 13 3}, :sv3 (9 13 127 13 9 13 127)}
{:interval-freqs {13 2, 129 2, 9 3}, :sv3 (13 9 129 9 13 9 129)}
{:interval-freqs {14 2, 128 2, 9 3}, :sv3 (14 9 128 9 14 9 128)}
{:interval-freqs {9 2, 124 2, 15 3}, :sv3 (9 15 124 15 9 15 124)}
{:interval-freqs {15 2, 127 2, 9 3}, :sv3 (15 9 127 9 15 9 127)}
{:interval-freqs {9 2, 16 2, 87 3}, :sv3 (9 87 16 87 9 87 16)}
{:interval-freqs {16 2, 126 2, 9 3}, :sv3 (16 9 126 9 16 9 126)}
{:interval-freqs {9 2, 121 2, 17 3}, :sv3 (9 17 121 17 9 17 121)}
{:interval-freqs {17 2, 125 2, 9 3}, :sv3 (17 9 125 9 17 9 125)}
{:interval-freqs {18 2, 124 2, 9 3}, :sv3 (18 9 124 9 18 9 124)}
{:interval-freqs {9 2, 19 2, 85 3}, :sv3 (9 85 19 85 9 85 19)}
{:interval-freqs {9 2, 118 2, 19 3}, :sv3 (9 19 118 19 9 19 118)}
{:interval-freqs {19 2, 123 2, 9 3}, :sv3 (19 9 123 9 19 9 123)}
{:interval-freqs {20 2, 122 2, 9 3}, :sv3 (20 9 122 9 20 9 122)}
{:interval-freqs {9 2, 115 2, 21 3}, :sv3 (9 21 115 21 9 21 115)}
{:interval-freqs {21 2, 121 2, 9 3}, :sv3 (21 9 121 9 21 9 121)}
{:interval-freqs {9 2, 22 2, 83 3}, :sv3 (9 83 22 83 9 83 22)}
{:interval-freqs {22 2, 120 2, 9 3}, :sv3 (22 9 120 9 22 9 120)}
{:interval-freqs {9 2, 112 2, 23 3}, :sv3 (9 23 112 23 9 23 112)}
{:interval-freqs {23 2, 119 2, 9 3}, :sv3 (23 9 119 9 23 9 119)}
{:interval-freqs {24 2, 118 2, 9 3}, :sv3 (24 9 118 9 24 9 118)}
{:interval-freqs {9 2, 25 2, 81 3}, :sv3 (9 81 25 81 9 81 25)}
{:interval-freqs {9 2, 109 2, 25 3}, :sv3 (9 25 109 25 9 25 109)}
{:interval-freqs {25 2, 117 2, 9 3}, :sv3 (25 9 117 9 25 9 117)}
{:interval-freqs {26 2, 116 2, 9 3}, :sv3 (26 9 116 9 26 9 116)}
{:interval-freqs {9 2, 106 2, 27 3}, :sv3 (9 27 106 27 9 27 106)}
{:interval-freqs {27 2, 115 2, 9 3}, :sv3 (27 9 115 9 27 9 115)}
{:interval-freqs {9 2, 28 2, 79 3}, :sv3 (9 79 28 79 9 79 28)}
{:interval-freqs {28 2, 114 2, 9 3}, :sv3 (28 9 114 9 28 9 114)}
{:interval-freqs {9 2, 103 2, 29 3}, :sv3 (9 29 103 29 9 29 103)}
{:interval-freqs {29 2, 113 2, 9 3}, :sv3 (29 9 113 9 29 9 113)}
{:interval-freqs {30 2, 112 2, 9 3}, :sv3 (30 9 112 9 30 9 112)}
{:interval-freqs {9 2, 31 2, 77 3}, :sv3 (9 77 31 77 9 77 31)}
{:interval-freqs {9 2, 100 2, 31 3}, :sv3 (9 31 100 31 9 31 100)}
{:interval-freqs {31 2, 111 2, 9 3}, :sv3 (31 9 111 9 31 9 111)}
{:interval-freqs {32 2, 110 2, 9 3}, :sv3 (32 9 110 9 32 9 110)}
{:interval-freqs {9 2, 97 2, 33 3}, :sv3 (9 33 97 33 9 33 97)}
{:interval-freqs {33 2, 109 2, 9 3}, :sv3 (33 9 109 9 33 9 109)}
{:interval-freqs {9 2, 34 2, 75 3}, :sv3 (9 75 34 75 9 75 34)}
{:interval-freqs {34 2, 108 2, 9 3}, :sv3 (34 9 108 9 34 9 108)}
{:interval-freqs {9 2, 94 2, 35 3}, :sv3 (9 35 94 35 9 35 94)}
{:interval-freqs {35 2, 107 2, 9 3}, :sv3 (35 9 107 9 35 9 107)}
{:interval-freqs {36 2, 106 2, 9 3}, :sv3 (36 9 106 9 36 9 106)}
{:interval-freqs {9 2, 37 2, 73 3}, :sv3 (9 73 37 73 9 73 37)}
{:interval-freqs {9 2, 91 2, 37 3}, :sv3 (9 37 91 37 9 37 91)}
{:interval-freqs {37 2, 105 2, 9 3}, :sv3 (37 9 105 9 37 9 105)}
{:interval-freqs {38 2, 104 2, 9 3}, :sv3 (38 9 104 9 38 9 104)}
{:interval-freqs {9 2, 88 2, 39 3}, :sv3 (9 39 88 39 9 39 88)}
{:interval-freqs {39 2, 103 2, 9 3}, :sv3 (39 9 103 9 39 9 103)}
{:interval-freqs {9 2, 40 2, 71 3}, :sv3 (9 71 40 71 9 71 40)}
{:interval-freqs {40 2, 102 2, 9 3}, :sv3 (40 9 102 9 40 9 102)}
{:interval-freqs {9 2, 85 2, 41 3}, :sv3 (9 41 85 41 9 41 85)}
{:interval-freqs {41 2, 101 2, 9 3}, :sv3 (41 9 101 9 41 9 101)}
{:interval-freqs {42 2, 100 2, 9 3}, :sv3 (42 9 100 9 42 9 100)}
{:interval-freqs {9 2, 43 2, 69 3}, :sv3 (9 69 43 69 9 69 43)}
{:interval-freqs {9 2, 82 2, 43 3}, :sv3 (9 43 82 43 9 43 82)}
{:interval-freqs {43 2, 99 2, 9 3}, :sv3 (43 9 99 9 43 9 99)}
{:interval-freqs {44 2, 98 2, 9 3}, :sv3 (44 9 98 9 44 9 98)}
{:interval-freqs {9 2, 79 2, 45 3}, :sv3 (9 45 79 45 9 45 79)}
{:interval-freqs {45 2, 97 2, 9 3}, :sv3 (45 9 97 9 45 9 97)}
{:interval-freqs {9 2, 46 2, 67 3}, :sv3 (9 67 46 67 9 67 46)}
{:interval-freqs {46 2, 96 2, 9 3}, :sv3 (46 9 96 9 46 9 96)}
{:interval-freqs {9 2, 76 2, 47 3}, :sv3 (9 47 76 47 9 47 76)}
{:interval-freqs {47 2, 95 2, 9 3}, :sv3 (47 9 95 9 47 9 95)}
{:interval-freqs {48 2, 94 2, 9 3}, :sv3 (48 9 94 9 48 9 94)}
{:interval-freqs {9 2, 49 2, 65 3}, :sv3 (9 65 49 65 9 65 49)}
{:interval-freqs {9 2, 73 2, 49 3}, :sv3 (9 49 73 49 9 49 73)}
{:interval-freqs {49 2, 93 2, 9 3}, :sv3 (49 9 93 9 49 9 93)}
{:interval-freqs {50 2, 92 2, 9 3}, :sv3 (50 9 92 9 50 9 92)}
{:interval-freqs {9 2, 70 2, 51 3}, :sv3 (9 51 70 51 9 51 70)}
{:interval-freqs {51 2, 91 2, 9 3}, :sv3 (51 9 91 9 51 9 91)}
{:interval-freqs {9 2, 52 2, 63 3}, :sv3 (9 63 52 63 9 63 52)}
{:interval-freqs {52 2, 90 2, 9 3}, :sv3 (52 9 90 9 52 9 90)}
{:interval-freqs {9 2, 67 2, 53 3}, :sv3 (9 53 67 53 9 53 67)}
{:interval-freqs {53 2, 89 2, 9 3}, :sv3 (53 9 89 9 53 9 89)}
{:interval-freqs {54 2, 88 2, 9 3}, :sv3 (54 9 88 9 54 9 88)}
{:interval-freqs {9 2, 55 2, 61 3}, :sv3 (9 61 55 61 9 61 55)}
{:interval-freqs {9 2, 64 2, 55 3}, :sv3 (9 55 64 55 9 55 64)}
{:interval-freqs {55 2, 87 2, 9 3}, :sv3 (55 9 87 9 55 9 87)}
{:interval-freqs {56 2, 86 2, 9 3}, :sv3 (56 9 86 9 56 9 86)}
{:interval-freqs {9 2, 61 2, 57 3}, :sv3 (9 57 61 57 9 57 61)}
{:interval-freqs {57 2, 85 2, 9 3}, :sv3 (57 9 85 9 57 9 85)}
{:interval-freqs {9 2, 58 2, 59 3}, :sv3 (9 59 58 59 9 59 58)}
{:interval-freqs {58 2, 84 2, 9 3}, :sv3 (58 9 84 9 58 9 84)}
{:interval-freqs {59 2, 83 2, 9 3}, :sv3 (59 9 83 9 59 9 83)}
{:interval-freqs {60 2, 82 2, 9 3}, :sv3 (60 9 82 9 60 9 82)}
{:interval-freqs {61 2, 81 2, 9 3}, :sv3 (61 9 81 9 61 9 81)}
{:interval-freqs {62 2, 80 2, 9 3}, :sv3 (62 9 80 9 62 9 80)}
{:interval-freqs {63 2, 79 2, 9 3}, :sv3 (63 9 79 9 63 9 79)}
{:interval-freqs {64 2, 78 2, 9 3}, :sv3 (64 9 78 9 64 9 78)}
{:interval-freqs {65 2, 77 2, 9 3}, :sv3 (65 9 77 9 65 9 77)}
{:interval-freqs {66 2, 76 2, 9 3}, :sv3 (66 9 76 9 66 9 76)}
{:interval-freqs {67 2, 75 2, 9 3}, :sv3 (67 9 75 9 67 9 75)}
{:interval-freqs {68 2, 74 2, 9 3}, :sv3 (68 9 74 9 68 9 74)}
{:interval-freqs {69 2, 73 2, 9 3}, :sv3 (69 9 73 9 69 9 73)}
{:interval-freqs {70 2, 72 2, 9 3}, :sv3 (70 9 72 9 70 9 72)}
{:interval-freqs {10 2, 129 2, 11 3}, :sv3 (10 11 129 11 10 11 129)}
{:interval-freqs {10 2, 12 2, 89 3}, :sv3 (10 89 12 89 10 89 12)}
{:interval-freqs {10 2, 126 2, 13 3}, :sv3 (10 13 126 13 10 13 126)}
{:interval-freqs {10 2, 15 2, 87 3}, :sv3 (10 87 15 87 10 87 15)}
{:interval-freqs {10 2, 123 2, 15 3}, :sv3 (10 15 123 15 10 15 123)}
{:interval-freqs {10 2, 120 2, 17 3}, :sv3 (10 17 120 17 10 17 120)}
{:interval-freqs {10 2, 18 2, 85 3}, :sv3 (10 85 18 85 10 85 18)}
{:interval-freqs {10 2, 117 2, 19 3}, :sv3 (10 19 117 19 10 19 117)}
{:interval-freqs {10 2, 21 2, 83 3}, :sv3 (10 83 21 83 10 83 21)}
{:interval-freqs {10 2, 114 2, 21 3}, :sv3 (10 21 114 21 10 21 114)}
{:interval-freqs {10 2, 111 2, 23 3}, :sv3 (10 23 111 23 10 23 111)}
{:interval-freqs {10 2, 24 2, 81 3}, :sv3 (10 81 24 81 10 81 24)}
{:interval-freqs {10 2, 108 2, 25 3}, :sv3 (10 25 108 25 10 25 108)}
{:interval-freqs {10 2, 27 2, 79 3}, :sv3 (10 79 27 79 10 79 27)}
{:interval-freqs {10 2, 105 2, 27 3}, :sv3 (10 27 105 27 10 27 105)}
{:interval-freqs {10 2, 102 2, 29 3}, :sv3 (10 29 102 29 10 29 102)}
{:interval-freqs {10 2, 30 2, 77 3}, :sv3 (10 77 30 77 10 77 30)}
{:interval-freqs {10 2, 99 2, 31 3}, :sv3 (10 31 99 31 10 31 99)}
{:interval-freqs {10 2, 33 2, 75 3}, :sv3 (10 75 33 75 10 75 33)}
{:interval-freqs {10 2, 96 2, 33 3}, :sv3 (10 33 96 33 10 33 96)}
{:interval-freqs {10 2, 93 2, 35 3}, :sv3 (10 35 93 35 10 35 93)}
{:interval-freqs {10 2, 36 2, 73 3}, :sv3 (10 73 36 73 10 73 36)}
{:interval-freqs {10 2, 90 2, 37 3}, :sv3 (10 37 90 37 10 37 90)}
{:interval-freqs {10 2, 39 2, 71 3}, :sv3 (10 71 39 71 10 71 39)}
{:interval-freqs {10 2, 87 2, 39 3}, :sv3 (10 39 87 39 10 39 87)}
{:interval-freqs {10 2, 84 2, 41 3}, :sv3 (10 41 84 41 10 41 84)}
{:interval-freqs {10 2, 42 2, 69 3}, :sv3 (10 69 42 69 10 69 42)}
{:interval-freqs {10 2, 81 2, 43 3}, :sv3 (10 43 81 43 10 43 81)}
{:interval-freqs {10 2, 45 2, 67 3}, :sv3 (10 67 45 67 10 67 45)}
{:interval-freqs {10 2, 78 2, 45 3}, :sv3 (10 45 78 45 10 45 78)}
{:interval-freqs {10 2, 75 2, 47 3}, :sv3 (10 47 75 47 10 47 75)}
{:interval-freqs {10 2, 48 2, 65 3}, :sv3 (10 65 48 65 10 65 48)}
{:interval-freqs {10 2, 72 2, 49 3}, :sv3 (10 49 72 49 10 49 72)}
{:interval-freqs {10 2, 51 2, 63 3}, :sv3 (10 63 51 63 10 63 51)}
{:interval-freqs {10 2, 69 2, 51 3}, :sv3 (10 51 69 51 10 51 69)}
{:interval-freqs {10 2, 66 2, 53 3}, :sv3 (10 53 66 53 10 53 66)}
{:interval-freqs {10 2, 54 2, 61 3}, :sv3 (10 61 54 61 10 61 54)}
{:interval-freqs {10 2, 63 2, 55 3}, :sv3 (10 55 63 55 10 55 63)}
{:interval-freqs {10 2, 57 2, 59 3}, :sv3 (10 59 57 59 10 59 57)}
{:interval-freqs {10 2, 60 2, 57 3}, :sv3 (10 57 60 57 10 57 60)}
{:interval-freqs {12 2, 127 2, 11 3}, :sv3 (12 11 127 11 12 11 127)}
{:interval-freqs {11 2, 125 2, 13 3}, :sv3 (11 13 125 13 11 13 125)}
{:interval-freqs {13 2, 126 2, 11 3}, :sv3 (13 11 126 11 13 11 126)}
{:interval-freqs {11 2, 14 2, 87 3}, :sv3 (11 87 14 87 11 87 14)}
{:interval-freqs {14 2, 125 2, 11 3}, :sv3 (14 11 125 11 14 11 125)}
{:interval-freqs {11 2, 122 2, 15 3}, :sv3 (11 15 122 15 11 15 122)}
{:interval-freqs {15 2, 124 2, 11 3}, :sv3 (15 11 124 11 15 11 124)}
{:interval-freqs {16 2, 123 2, 11 3}, :sv3 (16 11 123 11 16 11 123)}
{:interval-freqs {11 2, 17 2, 85 3}, :sv3 (11 85 17 85 11 85 17)}
{:interval-freqs {11 2, 119 2, 17 3}, :sv3 (11 17 119 17 11 17 119)}
{:interval-freqs {17 2, 122 2, 11 3}, :sv3 (17 11 122 11 17 11 122)}
{:interval-freqs {18 2, 121 2, 11 3}, :sv3 (18 11 121 11 18 11 121)}
{:interval-freqs {11 2, 116 2, 19 3}, :sv3 (11 19 116 19 11 19 116)}
{:interval-freqs {19 2, 120 2, 11 3}, :sv3 (19 11 120 11 19 11 120)}
{:interval-freqs {11 2, 20 2, 83 3}, :sv3 (11 83 20 83 11 83 20)}
{:interval-freqs {20 2, 119 2, 11 3}, :sv3 (20 11 119 11 20 11 119)}
{:interval-freqs {11 2, 113 2, 21 3}, :sv3 (11 21 113 21 11 21 113)}
{:interval-freqs {21 2, 118 2, 11 3}, :sv3 (21 11 118 11 21 11 118)}
{:interval-freqs {22 2, 117 2, 11 3}, :sv3 (22 11 117 11 22 11 117)}
{:interval-freqs {11 2, 23 2, 81 3}, :sv3 (11 81 23 81 11 81 23)}
{:interval-freqs {11 2, 110 2, 23 3}, :sv3 (11 23 110 23 11 23 110)}
{:interval-freqs {23 2, 116 2, 11 3}, :sv3 (23 11 116 11 23 11 116)}
{:interval-freqs {24 2, 115 2, 11 3}, :sv3 (24 11 115 11 24 11 115)}
{:interval-freqs {11 2, 107 2, 25 3}, :sv3 (11 25 107 25 11 25 107)}
{:interval-freqs {25 2, 114 2, 11 3}, :sv3 (25 11 114 11 25 11 114)}
{:interval-freqs {11 2, 26 2, 79 3}, :sv3 (11 79 26 79 11 79 26)}
{:interval-freqs {26 2, 113 2, 11 3}, :sv3 (26 11 113 11 26 11 113)}
{:interval-freqs {11 2, 104 2, 27 3}, :sv3 (11 27 104 27 11 27 104)}
{:interval-freqs {27 2, 112 2, 11 3}, :sv3 (27 11 112 11 27 11 112)}
{:interval-freqs {28 2, 111 2, 11 3}, :sv3 (28 11 111 11 28 11 111)}
{:interval-freqs {11 2, 29 2, 77 3}, :sv3 (11 77 29 77 11 77 29)}
{:interval-freqs {11 2, 101 2, 29 3}, :sv3 (11 29 101 29 11 29 101)}
{:interval-freqs {29 2, 110 2, 11 3}, :sv3 (29 11 110 11 29 11 110)}
{:interval-freqs {30 2, 109 2, 11 3}, :sv3 (30 11 109 11 30 11 109)}
{:interval-freqs {11 2, 98 2, 31 3}, :sv3 (11 31 98 31 11 31 98)}
{:interval-freqs {31 2, 108 2, 11 3}, :sv3 (31 11 108 11 31 11 108)}
{:interval-freqs {11 2, 32 2, 75 3}, :sv3 (11 75 32 75 11 75 32)}
{:interval-freqs {32 2, 107 2, 11 3}, :sv3 (32 11 107 11 32 11 107)}
{:interval-freqs {11 2, 95 2, 33 3}, :sv3 (11 33 95 33 11 33 95)}
{:interval-freqs {33 2, 106 2, 11 3}, :sv3 (33 11 106 11 33 11 106)}
{:interval-freqs {34 2, 105 2, 11 3}, :sv3 (34 11 105 11 34 11 105)}
{:interval-freqs {11 2, 35 2, 73 3}, :sv3 (11 73 35 73 11 73 35)}
{:interval-freqs {11 2, 92 2, 35 3}, :sv3 (11 35 92 35 11 35 92)}
{:interval-freqs {35 2, 104 2, 11 3}, :sv3 (35 11 104 11 35 11 104)}
{:interval-freqs {36 2, 103 2, 11 3}, :sv3 (36 11 103 11 36 11 103)}
{:interval-freqs {11 2, 89 2, 37 3}, :sv3 (11 37 89 37 11 37 89)}
{:interval-freqs {37 2, 102 2, 11 3}, :sv3 (37 11 102 11 37 11 102)}
{:interval-freqs {11 2, 38 2, 71 3}, :sv3 (11 71 38 71 11 71 38)}
{:interval-freqs {38 2, 101 2, 11 3}, :sv3 (38 11 101 11 38 11 101)}
{:interval-freqs {11 2, 86 2, 39 3}, :sv3 (11 39 86 39 11 39 86)}
{:interval-freqs {39 2, 100 2, 11 3}, :sv3 (39 11 100 11 39 11 100)}
{:interval-freqs {40 2, 99 2, 11 3}, :sv3 (40 11 99 11 40 11 99)}
{:interval-freqs {11 2, 41 2, 69 3}, :sv3 (11 69 41 69 11 69 41)}
{:interval-freqs {11 2, 83 2, 41 3}, :sv3 (11 41 83 41 11 41 83)}
{:interval-freqs {41 2, 98 2, 11 3}, :sv3 (41 11 98 11 41 11 98)}
{:interval-freqs {42 2, 97 2, 11 3}, :sv3 (42 11 97 11 42 11 97)}
{:interval-freqs {11 2, 80 2, 43 3}, :sv3 (11 43 80 43 11 43 80)}
{:interval-freqs {43 2, 96 2, 11 3}, :sv3 (43 11 96 11 43 11 96)}
{:interval-freqs {11 2, 44 2, 67 3}, :sv3 (11 67 44 67 11 67 44)}
{:interval-freqs {44 2, 95 2, 11 3}, :sv3 (44 11 95 11 44 11 95)}
{:interval-freqs {11 2, 77 2, 45 3}, :sv3 (11 45 77 45 11 45 77)}
{:interval-freqs {45 2, 94 2, 11 3}, :sv3 (45 11 94 11 45 11 94)}
{:interval-freqs {46 2, 93 2, 11 3}, :sv3 (46 11 93 11 46 11 93)}
{:interval-freqs {11 2, 47 2, 65 3}, :sv3 (11 65 47 65 11 65 47)}
{:interval-freqs {11 2, 74 2, 47 3}, :sv3 (11 47 74 47 11 47 74)}
{:interval-freqs {47 2, 92 2, 11 3}, :sv3 (47 11 92 11 47 11 92)}
{:interval-freqs {48 2, 91 2, 11 3}, :sv3 (48 11 91 11 48 11 91)}
{:interval-freqs {11 2, 71 2, 49 3}, :sv3 (11 49 71 49 11 49 71)}
{:interval-freqs {49 2, 90 2, 11 3}, :sv3 (49 11 90 11 49 11 90)}
{:interval-freqs {11 2, 50 2, 63 3}, :sv3 (11 63 50 63 11 63 50)}
{:interval-freqs {50 2, 89 2, 11 3}, :sv3 (50 11 89 11 50 11 89)}
{:interval-freqs {11 2, 68 2, 51 3}, :sv3 (11 51 68 51 11 51 68)}
{:interval-freqs {51 2, 88 2, 11 3}, :sv3 (51 11 88 11 51 11 88)}
{:interval-freqs {52 2, 87 2, 11 3}, :sv3 (52 11 87 11 52 11 87)}
{:interval-freqs {11 2, 53 2, 61 3}, :sv3 (11 61 53 61 11 61 53)}
{:interval-freqs {11 2, 65 2, 53 3}, :sv3 (11 53 65 53 11 53 65)}
{:interval-freqs {53 2, 86 2, 11 3}, :sv3 (53 11 86 11 53 11 86)}
{:interval-freqs {54 2, 85 2, 11 3}, :sv3 (54 11 85 11 54 11 85)}
{:interval-freqs {11 2, 62 2, 55 3}, :sv3 (11 55 62 55 11 55 62)}
{:interval-freqs {55 2, 84 2, 11 3}, :sv3 (55 11 84 11 55 11 84)}
{:interval-freqs {11 2, 56 2, 59 3}, :sv3 (11 59 56 59 11 59 56)}
{:interval-freqs {56 2, 83 2, 11 3}, :sv3 (56 11 83 11 56 11 83)}
{:interval-freqs {11 2, 59 2, 57 3}, :sv3 (11 57 59 57 11 57 59)}
{:interval-freqs {57 2, 82 2, 11 3}, :sv3 (57 11 82 11 57 11 82)}
{:interval-freqs {58 2, 81 2, 11 3}, :sv3 (58 11 81 11 58 11 81)}
{:interval-freqs {59 2, 80 2, 11 3}, :sv3 (59 11 80 11 59 11 80)}
{:interval-freqs {60 2, 79 2, 11 3}, :sv3 (60 11 79 11 60 11 79)}
{:interval-freqs {61 2, 78 2, 11 3}, :sv3 (61 11 78 11 61 11 78)}
{:interval-freqs {62 2, 77 2, 11 3}, :sv3 (62 11 77 11 62 11 77)}
{:interval-freqs {63 2, 76 2, 11 3}, :sv3 (63 11 76 11 63 11 76)}
{:interval-freqs {64 2, 75 2, 11 3}, :sv3 (64 11 75 11 64 11 75)}
{:interval-freqs {65 2, 74 2, 11 3}, :sv3 (65 11 74 11 65 11 74)}
{:interval-freqs {66 2, 73 2, 11 3}, :sv3 (66 11 73 11 66 11 73)}
{:interval-freqs {67 2, 72 2, 11 3}, :sv3 (67 11 72 11 67 11 72)}
{:interval-freqs {68 2, 71 2, 11 3}, :sv3 (68 11 71 11 68 11 71)}
{:interval-freqs {69 2, 70 2, 11 3}, :sv3 (69 11 70 11 69 11 70)}
{:interval-freqs {12 2, 13 2, 87 3}, :sv3 (12 87 13 87 12 87 13)}
{:interval-freqs {12 2, 124 2, 13 3}, :sv3 (12 13 124 13 12 13 124)}
{:interval-freqs {12 2, 121 2, 15 3}, :sv3 (12 15 121 15 12 15 121)}
{:interval-freqs {12 2, 16 2, 85 3}, :sv3 (12 85 16 85 12 85 16)}
{:interval-freqs {12 2, 118 2, 17 3}, :sv3 (12 17 118 17 12 17 118)}
{:interval-freqs {12 2, 19 2, 83 3}, :sv3 (12 83 19 83 12 83 19)}
{:interval-freqs {12 2, 115 2, 19 3}, :sv3 (12 19 115 19 12 19 115)}
{:interval-freqs {12 2, 112 2, 21 3}, :sv3 (12 21 112 21 12 21 112)}
{:interval-freqs {12 2, 22 2, 81 3}, :sv3 (12 81 22 81 12 81 22)}
{:interval-freqs {12 2, 109 2, 23 3}, :sv3 (12 23 109 23 12 23 109)}
{:interval-freqs {12 2, 25 2, 79 3}, :sv3 (12 79 25 79 12 79 25)}
{:interval-freqs {12 2, 106 2, 25 3}, :sv3 (12 25 106 25 12 25 106)}
{:interval-freqs {12 2, 103 2, 27 3}, :sv3 (12 27 103 27 12 27 103)}
{:interval-freqs {12 2, 28 2, 77 3}, :sv3 (12 77 28 77 12 77 28)}
{:interval-freqs {12 2, 100 2, 29 3}, :sv3 (12 29 100 29 12 29 100)}
{:interval-freqs {12 2, 31 2, 75 3}, :sv3 (12 75 31 75 12 75 31)}
{:interval-freqs {12 2, 97 2, 31 3}, :sv3 (12 31 97 31 12 31 97)}
{:interval-freqs {12 2, 94 2, 33 3}, :sv3 (12 33 94 33 12 33 94)}
{:interval-freqs {12 2, 34 2, 73 3}, :sv3 (12 73 34 73 12 73 34)}
{:interval-freqs {12 2, 91 2, 35 3}, :sv3 (12 35 91 35 12 35 91)}
{:interval-freqs {12 2, 37 2, 71 3}, :sv3 (12 71 37 71 12 71 37)}
{:interval-freqs {12 2, 88 2, 37 3}, :sv3 (12 37 88 37 12 37 88)}
{:interval-freqs {12 2, 85 2, 39 3}, :sv3 (12 39 85 39 12 39 85)}
{:interval-freqs {12 2, 40 2, 69 3}, :sv3 (12 69 40 69 12 69 40)}
{:interval-freqs {12 2, 82 2, 41 3}, :sv3 (12 41 82 41 12 41 82)}
{:interval-freqs {12 2, 43 2, 67 3}, :sv3 (12 67 43 67 12 67 43)}
{:interval-freqs {12 2, 79 2, 43 3}, :sv3 (12 43 79 43 12 43 79)}
{:interval-freqs {12 2, 76 2, 45 3}, :sv3 (12 45 76 45 12 45 76)}
{:interval-freqs {12 2, 46 2, 65 3}, :sv3 (12 65 46 65 12 65 46)}
{:interval-freqs {12 2, 73 2, 47 3}, :sv3 (12 47 73 47 12 47 73)}
{:interval-freqs {12 2, 49 2, 63 3}, :sv3 (12 63 49 63 12 63 49)}
{:interval-freqs {12 2, 70 2, 49 3}, :sv3 (12 49 70 49 12 49 70)}
{:interval-freqs {12 2, 67 2, 51 3}, :sv3 (12 51 67 51 12 51 67)}
{:interval-freqs {12 2, 52 2, 61 3}, :sv3 (12 61 52 61 12 61 52)}
{:interval-freqs {12 2, 64 2, 53 3}, :sv3 (12 53 64 53 12 53 64)}
{:interval-freqs {12 2, 55 2, 59 3}, :sv3 (12 59 55 59 12 59 55)}
{:interval-freqs {12 2, 61 2, 55 3}, :sv3 (12 55 61 55 12 55 61)}
{:interval-freqs {12 2, 58 2, 57 3}, :sv3 (12 57 58 57 12 57 58)}
{:interval-freqs {14 2, 122 2, 13 3}, :sv3 (14 13 122 13 14 13 122)}
{:interval-freqs {13 2, 15 2, 85 3}, :sv3 (13 85 15 85 13 85 15)}
{:interval-freqs {13 2, 120 2, 15 3}, :sv3 (13 15 120 15 13 15 120)}
{:interval-freqs {15 2, 121 2, 13 3}, :sv3 (15 13 121 13 15 13 121)}
{:interval-freqs {16 2, 120 2, 13 3}, :sv3 (16 13 120 13 16 13 120)}
{:interval-freqs {13 2, 117 2, 17 3}, :sv3 (13 17 117 17 13 17 117)}
{:interval-freqs {17 2, 119 2, 13 3}, :sv3 (17 13 119 13 17 13 119)}
{:interval-freqs {13 2, 18 2, 83 3}, :sv3 (13 83 18 83 13 83 18)}
{:interval-freqs {18 2, 118 2, 13 3}, :sv3 (18 13 118 13 18 13 118)}
{:interval-freqs {13 2, 114 2, 19 3}, :sv3 (13 19 114 19 13 19 114)}
{:interval-freqs {19 2, 117 2, 13 3}, :sv3 (19 13 117 13 19 13 117)}
{:interval-freqs {20 2, 116 2, 13 3}, :sv3 (20 13 116 13 20 13 116)}
{:interval-freqs {13 2, 21 2, 81 3}, :sv3 (13 81 21 81 13 81 21)}
{:interval-freqs {13 2, 111 2, 21 3}, :sv3 (13 21 111 21 13 21 111)}
{:interval-freqs {21 2, 115 2, 13 3}, :sv3 (21 13 115 13 21 13 115)}
{:interval-freqs {22 2, 114 2, 13 3}, :sv3 (22 13 114 13 22 13 114)}
{:interval-freqs {13 2, 108 2, 23 3}, :sv3 (13 23 108 23 13 23 108)}
{:interval-freqs {23 2, 113 2, 13 3}, :sv3 (23 13 113 13 23 13 113)}
{:interval-freqs {13 2, 24 2, 79 3}, :sv3 (13 79 24 79 13 79 24)}
{:interval-freqs {24 2, 112 2, 13 3}, :sv3 (24 13 112 13 24 13 112)}
{:interval-freqs {13 2, 105 2, 25 3}, :sv3 (13 25 105 25 13 25 105)}
{:interval-freqs {25 2, 111 2, 13 3}, :sv3 (25 13 111 13 25 13 111)}
{:interval-freqs {26 2, 110 2, 13 3}, :sv3 (26 13 110 13 26 13 110)}
{:interval-freqs {13 2, 27 2, 77 3}, :sv3 (13 77 27 77 13 77 27)}
{:interval-freqs {13 2, 102 2, 27 3}, :sv3 (13 27 102 27 13 27 102)}
{:interval-freqs {27 2, 109 2, 13 3}, :sv3 (27 13 109 13 27 13 109)}
{:interval-freqs {28 2, 108 2, 13 3}, :sv3 (28 13 108 13 28 13 108)}
{:interval-freqs {13 2, 99 2, 29 3}, :sv3 (13 29 99 29 13 29 99)}
{:interval-freqs {29 2, 107 2, 13 3}, :sv3 (29 13 107 13 29 13 107)}
{:interval-freqs {13 2, 30 2, 75 3}, :sv3 (13 75 30 75 13 75 30)}
{:interval-freqs {30 2, 106 2, 13 3}, :sv3 (30 13 106 13 30 13 106)}
{:interval-freqs {13 2, 96 2, 31 3}, :sv3 (13 31 96 31 13 31 96)}
{:interval-freqs {31 2, 105 2, 13 3}, :sv3 (31 13 105 13 31 13 105)}
{:interval-freqs {32 2, 104 2, 13 3}, :sv3 (32 13 104 13 32 13 104)}
{:interval-freqs {13 2, 33 2, 73 3}, :sv3 (13 73 33 73 13 73 33)}
{:interval-freqs {13 2, 93 2, 33 3}, :sv3 (13 33 93 33 13 33 93)}
{:interval-freqs {33 2, 103 2, 13 3}, :sv3 (33 13 103 13 33 13 103)}
{:interval-freqs {34 2, 102 2, 13 3}, :sv3 (34 13 102 13 34 13 102)}
{:interval-freqs {13 2, 90 2, 35 3}, :sv3 (13 35 90 35 13 35 90)}
{:interval-freqs {35 2, 101 2, 13 3}, :sv3 (35 13 101 13 35 13 101)}
{:interval-freqs {13 2, 36 2, 71 3}, :sv3 (13 71 36 71 13 71 36)}
{:interval-freqs {36 2, 100 2, 13 3}, :sv3 (36 13 100 13 36 13 100)}
{:interval-freqs {13 2, 87 2, 37 3}, :sv3 (13 37 87 37 13 37 87)}
{:interval-freqs {37 2, 99 2, 13 3}, :sv3 (37 13 99 13 37 13 99)}
{:interval-freqs {38 2, 98 2, 13 3}, :sv3 (38 13 98 13 38 13 98)}
{:interval-freqs {13 2, 39 2, 69 3}, :sv3 (13 69 39 69 13 69 39)}
{:interval-freqs {13 2, 84 2, 39 3}, :sv3 (13 39 84 39 13 39 84)}
{:interval-freqs {39 2, 97 2, 13 3}, :sv3 (39 13 97 13 39 13 97)}
{:interval-freqs {40 2, 96 2, 13 3}, :sv3 (40 13 96 13 40 13 96)}
{:interval-freqs {13 2, 81 2, 41 3}, :sv3 (13 41 81 41 13 41 81)}
{:interval-freqs {41 2, 95 2, 13 3}, :sv3 (41 13 95 13 41 13 95)}
{:interval-freqs {13 2, 42 2, 67 3}, :sv3 (13 67 42 67 13 67 42)}
{:interval-freqs {42 2, 94 2, 13 3}, :sv3 (42 13 94 13 42 13 94)}
{:interval-freqs {13 2, 78 2, 43 3}, :sv3 (13 43 78 43 13 43 78)}
{:interval-freqs {43 2, 93 2, 13 3}, :sv3 (43 13 93 13 43 13 93)}
{:interval-freqs {44 2, 92 2, 13 3}, :sv3 (44 13 92 13 44 13 92)}
{:interval-freqs {13 2, 45 2, 65 3}, :sv3 (13 65 45 65 13 65 45)}
{:interval-freqs {13 2, 75 2, 45 3}, :sv3 (13 45 75 45 13 45 75)}
{:interval-freqs {45 2, 91 2, 13 3}, :sv3 (45 13 91 13 45 13 91)}
{:interval-freqs {46 2, 90 2, 13 3}, :sv3 (46 13 90 13 46 13 90)}
{:interval-freqs {13 2, 72 2, 47 3}, :sv3 (13 47 72 47 13 47 72)}
{:interval-freqs {47 2, 89 2, 13 3}, :sv3 (47 13 89 13 47 13 89)}
{:interval-freqs {13 2, 48 2, 63 3}, :sv3 (13 63 48 63 13 63 48)}
{:interval-freqs {48 2, 88 2, 13 3}, :sv3 (48 13 88 13 48 13 88)}
{:interval-freqs {13 2, 69 2, 49 3}, :sv3 (13 49 69 49 13 49 69)}