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