-
Notifications
You must be signed in to change notification settings - Fork 1
/
jubjub-384.program
1411 lines (1411 loc) · 110 KB
/
jubjub-384.program
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
b0 = bool(#0)
b1 = bool(#0)
b2 = bool(#1)
b3 = bool(#0)
b4 = bool(#0)
b5 = bool(#0)
b6 = bool(#1)
b7 = bool(#1)
b8 = bool(#0)
b9 = bool(#0)
b10 = bool(#0)
b11 = bool(#0)
b12 = bool(#1)
b13 = bool(#0)
b14 = bool(#1)
b15 = bool(#0)
b16 = bool(#0)
b17 = bool(#0)
b18 = bool(#0)
b19 = bool(#1)
b20 = bool(#0)
b21 = bool(#1)
b22 = bool(#0)
b23 = bool(#0)
b24 = bool(#0)
b25 = bool(#0)
b26 = bool(#1)
b27 = bool(#1)
b28 = bool(#0)
b29 = bool(#1)
b30 = bool(#0)
b31 = bool(#1)
b32 = bool(#1)
b33 = bool(#0)
b34 = bool(#1)
b35 = bool(#1)
b36 = bool(#0)
b37 = bool(#1)
b38 = bool(#0)
b39 = bool(#1)
b40 = bool(#0)
b41 = bool(#1)
b42 = bool(#0)
b43 = bool(#0)
b44 = bool(#0)
b45 = bool(#0)
b46 = bool(#0)
b47 = bool(#1)
b48 = bool(#1)
b49 = bool(#0)
b50 = bool(#1)
b51 = bool(#0)
b52 = bool(#0)
b53 = bool(#0)
b54 = bool(#1)
b55 = bool(#0)
b56 = bool(#1)
b57 = bool(#1)
b58 = bool(#0)
b59 = bool(#1)
b60 = bool(#1)
b61 = bool(#1)
b62 = bool(#1)
b63 = bool(#1)
b64 = bool(#0)
b65 = bool(#1)
b66 = bool(#1)
b67 = bool(#1)
b68 = bool(#0)
b69 = bool(#1)
b70 = bool(#1)
b71 = bool(#0)
b72 = bool(#0)
b73 = bool(#0)
b74 = bool(#0)
b75 = bool(#0)
b76 = bool(#0)
b77 = bool(#1)
b78 = bool(#1)
b79 = bool(#1)
b80 = bool(#1)
b81 = bool(#0)
b82 = bool(#1)
b83 = bool(#0)
b84 = bool(#1)
b85 = bool(#1)
b86 = bool(#0)
b87 = bool(#0)
b88 = bool(#1)
b89 = bool(#0)
b90 = bool(#0)
b91 = bool(#1)
b92 = bool(#1)
b93 = bool(#0)
b94 = bool(#0)
b95 = bool(#0)
b96 = bool(#0)
b97 = bool(#1)
b98 = bool(#0)
b99 = bool(#0)
b100 = bool(#0)
b101 = bool(#1)
b102 = bool(#0)
b103 = bool(#0)
b104 = bool(#0)
b105 = bool(#1)
b106 = bool(#0)
b107 = bool(#0)
b108 = bool(#0)
b109 = bool(#0)
b110 = bool(#0)
b111 = bool(#1)
b112 = bool(#0)
b113 = bool(#1)
b114 = bool(#1)
b115 = bool(#0)
b116 = bool(#0)
b117 = bool(#0)
b118 = bool(#0)
b119 = bool(#1)
b120 = bool(#1)
b121 = bool(#0)
b122 = bool(#1)
b123 = bool(#1)
b124 = bool(#0)
b125 = bool(#1)
b126 = bool(#1)
b127 = bool(#0)
b128 = bool(#1)
b129 = bool(#1)
b130 = bool(#1)
b131 = bool(#0)
b132 = bool(#1)
b133 = bool(#1)
b134 = bool(#1)
b135 = bool(#1)
b136 = bool(#0)
b137 = bool(#1)
b138 = bool(#1)
b139 = bool(#0)
b140 = bool(#0)
b141 = bool(#0)
b142 = bool(#1)
b143 = bool(#1)
b144 = bool(#1)
b145 = bool(#1)
b146 = bool(#0)
b147 = bool(#1)
b148 = bool(#1)
b149 = bool(#1)
b150 = bool(#1)
b151 = bool(#1)
b152 = bool(#0)
b153 = bool(#0)
b154 = bool(#1)
b155 = bool(#0)
b156 = bool(#1)
b157 = bool(#1)
b158 = bool(#1)
b159 = bool(#0)
b160 = bool(#1)
b161 = bool(#0)
b162 = bool(#0)
b163 = bool(#0)
b164 = bool(#0)
b165 = bool(#1)
b166 = bool(#1)
b167 = bool(#1)
b168 = bool(#0)
b169 = bool(#1)
b170 = bool(#1)
b171 = bool(#1)
b172 = bool(#1)
b173 = bool(#0)
b174 = bool(#0)
b175 = bool(#0)
b176 = bool(#0)
b177 = bool(#0)
b178 = bool(#1)
b179 = bool(#1)
b180 = bool(#0)
b181 = bool(#0)
b182 = bool(#0)
b183 = bool(#1)
b184 = bool(#1)
b185 = bool(#1)
b186 = bool(#1)
b187 = bool(#1)
b188 = bool(#0)
b189 = bool(#0)
b190 = bool(#1)
b191 = bool(#1)
b192 = bool(#0)
b193 = bool(#0)
b194 = bool(#1)
b195 = bool(#0)
b196 = bool(#1)
b197 = bool(#1)
b198 = bool(#0)
b199 = bool(#0)
b200 = bool(#1)
b201 = bool(#0)
b202 = bool(#0)
b203 = bool(#1)
b204 = bool(#1)
b205 = bool(#0)
b206 = bool(#0)
b207 = bool(#1)
b208 = bool(#1)
b209 = bool(#0)
b210 = bool(#0)
b211 = bool(#1)
b212 = bool(#0)
b213 = bool(#1)
b214 = bool(#0)
b215 = bool(#0)
b216 = bool(#1)
b217 = bool(#1)
b218 = bool(#1)
b219 = bool(#1)
b220 = bool(#0)
b221 = bool(#0)
b222 = bool(#0)
b223 = bool(#0)
b224 = bool(#0)
b225 = bool(#1)
b226 = bool(#1)
b227 = bool(#0)
b228 = bool(#0)
b229 = bool(#1)
b230 = bool(#1)
b231 = bool(#0)
b232 = bool(#1)
b233 = bool(#1)
b234 = bool(#1)
b235 = bool(#0)
b236 = bool(#1)
b237 = bool(#1)
b238 = bool(#1)
b239 = bool(#0)
b240 = bool(#1)
b241 = bool(#0)
b242 = bool(#1)
b243 = bool(#1)
b244 = bool(#1)
b245 = bool(#0)
b246 = bool(#0)
b247 = bool(#1)
b248 = bool(#1)
b249 = bool(#0)
b250 = bool(#1)
b251 = bool(#0)
b252 = bool(#1)
b253 = bool(#0)
b254 = bool(#1)
b255 = bool(#0)
b256 = bool(#0)
b257 = bool(#0)
b258 = bool(#1)
b259 = bool(#0)
b260 = bool(#0)
b261 = bool(#0)
b262 = bool(#1)
b263 = bool(#1)
b264 = bool(#0)
b265 = bool(#0)
b266 = bool(#0)
b267 = bool(#0)
b268 = bool(#1)
b269 = bool(#0)
b270 = bool(#1)
b271 = bool(#0)
b272 = bool(#0)
b273 = bool(#0)
b274 = bool(#0)
b275 = bool(#1)
b276 = bool(#0)
b277 = bool(#1)
b278 = bool(#0)
b279 = bool(#0)
b280 = bool(#0)
b281 = bool(#0)
b282 = bool(#1)
b283 = bool(#1)
b284 = bool(#0)
b285 = bool(#1)
b286 = bool(#0)
b287 = bool(#1)
b288 = bool(#1)
b289 = bool(#0)
b290 = bool(#1)
b291 = bool(#1)
b292 = bool(#0)
b293 = bool(#1)
b294 = bool(#0)
b295 = bool(#1)
b296 = bool(#0)
b297 = bool(#1)
b298 = bool(#0)
b299 = bool(#0)
b300 = bool(#0)
b301 = bool(#0)
b302 = bool(#0)
b303 = bool(#1)
b304 = bool(#1)
b305 = bool(#0)
b306 = bool(#1)
b307 = bool(#0)
b308 = bool(#0)
b309 = bool(#0)
b310 = bool(#1)
b311 = bool(#0)
b312 = bool(#1)
b313 = bool(#1)
b314 = bool(#0)
b315 = bool(#1)
b316 = bool(#1)
b317 = bool(#1)
b318 = bool(#1)
b319 = bool(#1)
b320 = bool(#0)
b321 = bool(#1)
b322 = bool(#1)
b323 = bool(#1)
b324 = bool(#0)
b325 = bool(#1)
b326 = bool(#1)
b327 = bool(#0)
b328 = bool(#0)
b329 = bool(#0)
b330 = bool(#0)
b331 = bool(#0)
b332 = bool(#0)
b333 = bool(#1)
b334 = bool(#1)
b335 = bool(#1)
b336 = bool(#1)
b337 = bool(#0)
b338 = bool(#1)
b339 = bool(#0)
b340 = bool(#1)
b341 = bool(#1)
b342 = bool(#0)
b343 = bool(#0)
b344 = bool(#1)
b345 = bool(#0)
b346 = bool(#0)
b347 = bool(#1)
b348 = bool(#1)
b349 = bool(#0)
b350 = bool(#0)
b351 = bool(#0)
b352 = bool(#0)
b353 = bool(#1)
b354 = bool(#0)
b355 = bool(#0)
b356 = bool(#0)
b357 = bool(#1)
b358 = bool(#0)
b359 = bool(#0)
b360 = bool(#0)
b361 = bool(#1)
b362 = bool(#0)
b363 = bool(#0)
b364 = bool(#0)
b365 = bool(#0)
b366 = bool(#0)
b367 = bool(#1)
b368 = bool(#0)
b369 = bool(#1)
b370 = bool(#1)
b371 = bool(#0)
b372 = bool(#0)
b373 = bool(#0)
b374 = bool(#0)
b375 = bool(#1)
b376 = bool(#1)
b377 = bool(#0)
b378 = bool(#1)
b379 = bool(#1)
b380 = bool(#0)
b381 = bool(#1)
b382 = bool(#1)
b383 = bool(#0)
inner = b0 * b1
x0 = 33860316972155444993786373798026421371939187633298958089058826269505131570572 + 4226393914626074620948936004615547265604490912620318630245965505957185135143 * b0 + 37441526755211924331825564564236519453867190604113937282895033561968998282370 * b1 + 3446994320820307097032031501091944760790429817635120053161522474524483867619 * inner
y0 = (2*b2 - 1) * (60671692165106483604271687017658706228693866043851659747576035057462336816439 + 106623529194841966177978043613161462997819727543347939845701802773096694465177 * b0 + 47938224980456232503229816213054428273092270511117363623465803065343455516367 * b1 + 26554478576463918077403240924474355766273225414729945824912137490949982314478 * inner)
inner = b3 * b4
x1 = 54431971297229333624718753949579168895356996521621374249159580775338578475429 + 109922599987230381266865652034812824606163384270625196619141286808347466603483 * b3 + 20881437303513882536145000241140988275700410965039187707257793757735868573130 * b4 + 45711614629433279542775433538377308708179109987126099483045222567080372222169 * inner
y1 = (2*b5 - 1) * (67941070270336610898300787086032880265370242167256588327808127727855653354684 + 7914610996944504619334512747300914331923604833539601302037069388032620265253 * b3 + 37484988275126684089135411772496467274419121649974161751318074268189768049590 * b4 + 58423187167962183997790956993675791196533256124157404338019371616198352161516 * inner)
inner = b6 * b7
x2 = 88930973464381297635837024470312311848883448831298461469838934561563052702686 + 67691388604549271616499668186959250400639820539227465051600028147715753701547 * b6 + 5905242161836463391747922240547459274457254646794898858995512087108916744203 * b7 + 88920389466874909325689300380323478613679953240730946873892524093955830967798 * inner
y2 = (2*b8 - 1) * (54280578284730686408505881826997798704097184887771637185376274859358469690413 + 102486172936731504811956156089256114251973053935237746031773679589242932125299 * b6 + 89297066128574112542649957033071053162857631507004030297537684798336399067439 * b7 + 82864044407841968794212878273644603654837796015523818432366123748474118696330 * inner)
inner = b9 * b10
x3 = 65451959348736685490191104056762622567632773177268838749346319292580156737489 + 113376016858564156775591284924797246334836388724033691868505272651511287807418 * b9 + 91789743906880627141660491631704736858998154305203490500851220037915508425096 * b10 + 54168485752751298105165992994527168261297184511677113147426879056474828063084 * inner
y3 = (2*b11 - 1) * (89675333398076471056554693784413522735391158043442244021562090712870883698282 + 12766819575197444644518949406591763589856820725718005604518479450789243520350 * b9 + 45853769813178221631807171325707236455821270565640117700637507476073749817738 * b10 + 84385214790007112537133629204957247489423816501707208011870621267303842560307 * inner)
inner = b12 * b13
x4 = 30733270695114255474179995693062501537188166769480567855484934644121838593288 + 41843445197469758275278236767424117764769812625086743074447835033803871493503 * b12 + 89149585902572769939844662396752372957201761150094821282671225123656900054558 * b13 + 68619315336272089961141851595360751363933209021459590139410170018969237768298 * inner
y4 = (2*b14 - 1) * (2587274125223747214103178801499820450070701236005753042324229146418902149537 + 10057237954277581473864447071551267669291243678180559456522624232325051464377 * b12 + 111391247346570272597172485607827547702057040779135727467721921162355020166772 * b13 + 84792018272686873254709316254289887879344353220504296072281842365669454971377 * inner)
inner = b15 * b16
x5 = 25035820445340070943139609257460962514656075216503992514165748811238727779550 + 84866909478457437003478165133952766385543931201854117081964079622847194637681 * b15 + 82084517932670254084599541015297043303678543413049426836440087444843205986432 * b16 + 87214924702127554641980519162985324137670060047871712664904850912007490684950 * inner
y5 = (2*b17 - 1) * (59913200772692539626046113072997426545581484626437040475214012295445734311982 + 14749237545714527901123651786122034274431747030914276868918523732483871892130 * b15 + 7469154284945361648578855171824106486061429836004233430725604994591296439538 * b16 + 107545671356138370851118733914219649068894671080530359032315490135273326726902 * inner)
inner = b18 * b19
x6 = 13311138140066761459404618988626040366085773893124788047050152787289418403258 + 44056692330460254659769027106557590085985565711458555579304150014558343778970 * b18 + 44818794418362906799299302902020134699153500980593972804900985468916403721937 * b19 + 54863958965231320701533055257334624375524760420005772506856886950605160369345 * inner
y6 = (2*b20 - 1) * (102117014955705575959623858932281439646073420708517313094811946356915167766551 + 49839634457122342749632915355629936580573494269272840496775499766920171379098 * b18 + 51262614581227667539812544779762266429108431151809065393222740293161056571161 * b19 + 15292636614739455419815562454666864586634474240816653131234507817436276356298 * inner)
inner = b21 * b22
x7 = 95010881276639922005914917651750538742619706898460615615344699756091544425391 + 48938559988070616763194425090842982321117211216135677038263504146717892136551 * b21 + 91953774548662954821980712463525191841705092346040884266432710770123517316093 * b22 + 103392487974062033655581207793799331738979472128370164258268473184509696672758 * inner
y7 = (2*b23 - 1) * (38667759103943533362758497793305683610289650765581589733666387889467420116146 + 107399426453888734345351115946706731176380113066346117568394954868287551878507 * b21 + 95026242949941224026008230366294307174206991013015052925331841530379671874539 * b22 + 65322883399688449729152653410843576368062495377690264452749360499235990230062 * inner)
inner = b24 * b25
x8 = 8411416142822721941124080054953714175010302856925872381699610147508766198438 + 33737938285386243634057159008334462151541152781660858512423760914244828828930 * b24 + 43011982754871383371653957285347108629901670285299813934394139742860602871256 * b25 + 65191242767433721911902130174941496083931921870412024243581391622157456621389 * inner
y8 = (2*b26 - 1) * (52785340782668036407952257395228683326821511643071960112600388386371878269618 + 25158261700112138362583558697124842464011987446326739200780665145350227063672 * b24 + 33899198907057060021604368607190293541868679280853196009301965951492936263578 * b25 + 66290967881677094799955955264529305391862880877571368051210151342724748701211 * inner)
inner = b27 * b28
x9 = 55913207020155169205606095253145756669846378044486988973130442139082553613849 + 59427082381908107465204551039911558130347666634056696808394633609920913507413 * b27 + 88845342534360932144647894837521513735889700395860905783449989066651766135576 * b28 + 70359403842756754124751145894901642151245966665536529096062500037757039795838 * inner
y9 = (2*b29 - 1) * (57503160300075095536177081165534533147841994154076489764929321930563621992299 + 89931964273136837664676729970746680320677292784060056360799406664519895898963 * b27 + 73543171356793984368503954110168399439941768090486118534861776798564339037610 * b28 + 87107792781743023065195458989251453613041890452690416056036130704080081167454 * inner)
inner = b30 * b31
x10 = 29633542631682911438638685612481269260951414954874072472655265408703537959243 + 66264564174622352566327481863031237859073149175702807429574311173668677418851 * b30 + 19151982247460887158132612035890227817523561420740855625766243171151164617912 * b31 + 63868340269187844240902195914781360058504440168945552958646038402598070508622 * inner
y10 = (2*b32 - 1) * (28248260569463965213018670642357818131036726674139397429399646102276894673683 + 12324909917870350454550514681824222090142389330038284196527316897483638789030 * b30 + 81271730891114673685892529344015522318474567383197360182706970414511761999313 * b31 + 71249542437391727902880653667678475603629202543107560150113703944109619532892 * inner)
inner = b33 * b34
x11 = 73248382074389596756452911501623294446744363676965329425600813424849873613199 + 5522135253159756131756209033957923843939868356671062846852634167179547313729 * b33 + 2109877780698555824459243841279414548255977313990317688298723037321727397807 * b34 + 106350687090620468458157503160639668196923160059958770710245290092609482971950 * inner
y11 = (2*b35 - 1) * (41286419974058525743110399365447243533577555978187988037687857142764758803266 + 80656033737192439024583992623941311683074519158347719255910719419885958592613 * b33 + 37464196566178059117417652747584780963369196014272738371646756209726770418300 * b34 + 84919009971409185873030965409080944761509172748948903956607528412537826523770 * inner)
inner = b36 * b37
x12 = 73182048111244492279108107068311889881512371965869552997440613874741424981831 + 22839855117725518878945858082171032430723972081554950574511011667480142035005 * b36 + 25944898768907996218531920835219810338336233848977076917463700389911471697744 * b37 + 26862809867744141147009828134225496901691584377744947342099480443235790400157 * inner
y12 = (2*b38 - 1) * (16777435456203204476947363279182218202961872177784856782798630205919199257489 + 58839346237032636507463735002191955228714795572434184243252616112522881266327 * b36 + 68923008469557330978870509047827647175110739094207743142293225507600648590029 * b37 + 102997539866921324710840442771237639851469896243757883102696230839656386703591 * inner)
inner = b39 * b40
x13 = 50588272554553998349004858197229717476591421199029779377624450686259922575241 + 65486930156978283074073591673493531895542332262229004173805862059369930483920 * b39 + 60209403506320401736614926335275960845703396008099196200952283371697255436890 * b40 + 77343639726190153146082619210509597523639526262875348892651906340990352302837 * inner
y13 = (2*b41 - 1) * (90874025597000825453098621715884930544101648858864139944609546503670927633903 + 58281307168710408509356464339579482597911598264898551290165795608794541925556 * b39 + 99632891165444325965527631902139052767347664716955264168401635700977029290742 * b40 + 38194620733828167346301413021732938950089338282111241906816535447479029620921 * inner)
inner = b42 * b43
x14 = 57727844442944156664156605086562232407938222860528160658199003480860034630156 + 12213209531623351366670034594012575904625764567442449017253330369388523358001 * b42 + 22372524779805939232055558051753551613650658134878325454350291133451722018221 * b43 + 99977399144312533969768302355379497883517768531363017881078986365285743746208 * inner
y14 = (2*b44 - 1) * (83947856516154291400692444563907935091584459986177373065759193478680318722596 + 96179987096613403306163541872872169032600523409197678016691509032685363420327 * b42 + 21833664423677635331464780738166894244039230859467230712160791905317370217472 * b43 + 99152339212633073233321523331267614844350910881159491333685082085140770023617 * inner)
inner = b45 * b46
x15 = 58815831005196528922101427851975230856703679571886734031851459550552259455674 + 85721002540876642867391688164378624626487107751052899821262526105511277776844 * b45 + 70148578850355851736688603374936359726118031005549938686381520730156977318763 * b46 + 84299373225570069503096249981453879549622902045293941546559381933874592702934 * inner
y15 = (2*b47 - 1) * (76326173816207987674646286624417300708336205060235485783064932486035151927577 + 42848443996580329491058427979815000509292007564519776205362975751930533609186 * b45 + 28623840864945300745895485974997472339951713511216910247880782167519604724300 * b46 + 106888074020922405060093763553252383830503443189574767853206734646160215901642 * inner)
inner = b48 * b49
x16 = 12237021982639180841854684890298374008966580340747689713952570044991847201641 + 58043305046217383593331413611928253751129617547504361210361177789848915364652 * b48 + 26374960802373441771771279770251235664886404872120991172157992712545896575803 * b49 + 102358088170538213984227585978995006478188709215801250923486602691233403375118 * inner
y16 = (2*b50 - 1) * (2256857940421981929210649079861841823217966744700471188926395299257357250852 + 60590907607870835857844644330741593952645483874180734126416305729409014341877 * b48 + 96647460040158613319072073729144628505688057858873083432079580609477533858357 * b49 + 20159541063360978381608719394307347085105022303799601390001197906398091505137 * inner)
inner = b51 * b52
x17 = 66603265117643350709296570731947774209342700787994872357410227400027041276372 + 11734794441511979394257058216277406685202675287523103451501638599511400258488 * b51 + 80604806827204173372008992065640421096347512791347546962182704613292979725920 * b52 + 95509980439731011908847741658681637766267488835946676779725275498175984507579 * inner
y17 = (2*b53 - 1) * (16351909518624476650403010162298020643942598406508053924342517975913929130730 + 63061223164706743599503077153185874360835463169391480329271912318929686995266 * b51 + 99287353405141289725961315674399862722697029767546728154592848765437028002295 * b52 + 64043703131189447665807080599122748452382614130873538040441926082175035415121 * inner)
inner = b54 * b55
x18 = 56824028297556777804233574956978540383345692463569545624543886570511641635489 + 110952488617357988586919138028563003357124909743880192761573529894142178927065 * b54 + 82526692090208549496220640383095001640825923693851446076044714120207087354015 * b55 + 24821862528250540948067990491498391918951810589745700374403302372890349709392 * inner
y18 = (2*b56 - 1) * (60853310437605936753758696520398202526983600089583446017614538463610607187633 + 97824483228999796420221715878901594641475058690773414166975644157410665178361 * b54 + 8329295830285690202052568423215975516388157296520298792467423041812595336244 * b55 + 65488259852644497318567812884779550134753273579059563246870624282074405828160 * inner)
inner = b57 * b58
x19 = 8359866502871307716728216154245762591522402442982190565112805583705608271137 + 41067310705704260716943012637223100319609286677182100884748248053300803274631 * b57 + 8601645090383692466645300245986674989745782280605019512197560951126220241031 * b58 + 6068400579527580628715000132889579594744637038425547238657401727873181510038 * inner
y19 = (2*b59 - 1) * (110154338951222157866408858752386086927249523174570547955915144905392700032602 + 96896940625686845945196561948837695223855482072749104443520915941147655040723 * b57 + 1618148355907442374905603643987122956493390398107748743046509959689876394112 * b58 + 100712122143155296520720649486248978550906947685673055998149230875061090524426 * inner)
inner = b60 * b61
x20 = 37287171075822244213569076204437593470230771088686989616463419667049465052225 + 86059931446864270411562833510952319662672652148401531873124521411313051197297 * b60 + 66820497254966682574009414615136507631903405507474484767648132975390479203833 * b61 + 75604440239310923947583859695423904035042358834907536153090813848498124985533 * inner
y20 = (2*b62 - 1) * (70520995619489162795097764728270449090739518275229869570648015267487619905848 + 56812385211784391241111817861728969595288891994028410841816240905442233765076 * b60 + 78961234671486903519834018376983149815421374929456065327842608272864475083037 * b61 + 67101905276187145319793929027635209318151767552866232752491351741062479875440 * inner)
inner = b63 * b64
x21 = 92052609322910358004278259661558449559961786539854852837116363820422053872321 + 7463958927200229768242436217014281137955085234891030657326467765368760305351 * b63 + 57902654133107036991725878371584542019822208106632718272379801067460673326754 * b64 + 87089336172143096526920794436217950306424448208797418763390634447582016746614 * inner
y21 = (2*b65 - 1) * (63875028040890532234206641476644951560545418856602112667530615132328637786708 + 74573097149450953379116014654558785223691366567829285822605327971597594359120 * b63 + 81253797022240921882025986317081649415559178897718510823904405595427379765413 * b64 + 70815895107453354315192737700702151937590047637594551739261531933822105317041 * inner)
inner = b66 * b67
x22 = 75500503887445573436574808261440124798638489108899351652789661495934561415891 + 103590463289021820789181030352265813822782716611695633714288758874208988917559 * b66 + 35443138471333497758084378078212854361183213296063722640583318872233603525741 * b67 + 103714089231891347924479485981918797096976314712126191350774230854780580407702 * inner
y22 = (2*b68 - 1) * (86849434719933341431325866698220176908366513865113240138529673682486711033121 + 99275594555127292503722078063272315621731871009688471590441574419084032641454 * b66 + 110170994948085977787214478425627169107972122005824849282664715930199076179556 * b67 + 19869205087412985965752200540600804246108448872599294249063457207813684106002 * inner)
inner = b69 * b70
x23 = 113204353759995284784430340380090539747378955079938037943439920359955718500524 + 30817934087081450199938391439236407609091339652282739157053787775103247529331 * b69 + 77031554832317016983585085432696667670959517895946986966190355037167565094765 * b70 + 102986678259989634382821741231551063965576796805556513814511748562198638744381 * inner
y23 = (2*b71 - 1) * (65094110591526636586504395240718126999817779916845898158455933926603139055075 + 90904427973278528046785495648255588199565075600628821571269418124393782910778 * b69 + 20975563672245634772652395433490064591353055529229888757921035730329253653598 * b70 + 100166902518119024491264094313547378282771221008775582969793622904686597006264 * inner)
inner = b72 * b73
x24 = 819670498725456554112562588754253705830087505248311481996166776137683644181 + 35283950506071476396423746509725475413800496392658283195838630665892679200306 * b72 + 34384663129441002707499166135539033121624833124650270646541668548690870382554 * b73 + 7527399733712966693284548651184879618074865760004671494002653440074177087509 * inner
y24 = (2*b74 - 1) * (106106696234261057519684427231031718666217390975338322877766829879287870378473 + 69251685544355784419248908316140957332534829919006959133038919745806269842398 * b72 + 66995697166685670095238124667551658015443349879164046015620407247515778833568 * b73 + 109677797095127090911845578556441421844670281432436497523307992425684461938490 * inner)
inner = b75 * b76
x25 = 82093278653300484835424244236389703932153114583183783819308589719242035919158 + 26466271905950822119863871243747661564497722079607224526845753409410796761554 * b75 + 74181208227381804950661335324163105136575557180795203850912444348851827205484 * b76 + 11708459083500298161783264487406468433968142783229645960683265004479121932452 * inner
y25 = (2*b77 - 1) * (59649796510603955478858302134201615832583226958301001645980921795461748024717 + 80426024508587160477938809918338864515174073229852681539525124207557053086215 * b75 + 51163052337776103418875282364188993810912462623956430237861793419732194923542 * b76 + 6473160374871071214307637786521541533983320114860439884214014926479550267048 * inner)
inner = b78 * b79
x26 = 93317146977034538816679938256202855059139935654063743224411211947712467239113 + 77481247380239134944036813419356974808843212591123536708184150419626167541458 * b78 + 46959511906069386804422049661995651814048809144182976433924020567542708261643 * b79 + 49228774653703476080177684303233968042278562488855900655182337056986240321066 * inner
y26 = (2*b80 - 1) * (97920255547462007488478173892796513533459709638080276039356563523593324282555 + 35319063188642142806624688255832409425743286485547251561383173930053590210817 * b78 + 54475024020355196497136247202939057544108875748500149650137881516204199269083 * b79 + 103815789500224300450268094517213491061433618061452675293402896916919022009111 * inner)
inner = b81 * b82
x27 = 76460648203778005980970586806220805370091498900169392227999588435840881599864 + 93822012378400213736388573435534903985013213290396124135861872209282660511240 * b81 + 3671892689548123753582266626618078509520149103068875119939022146046783382798 * b82 + 3256584210891479938442124044747851942230589896920990735170835890203566439189 * inner
y27 = (2*b83 - 1) * (65848209820894434303755686302378543768394481761358784680476119288309164221669 + 80541552340220915530631336245465493888290816891186171409747345434292701252711 * b81 + 106656416944763813516559775741704422577562294833875960255888758479101444170654 * b82 + 91029414804221924727713120349758355860795622265610861693883255862613194233637 * inner)
inner = b84 * b85
x28 = 105285567640439227525766996746803069373293855148223941823151696657025145098361 + 64417063655136724926017637092636715201710979209986694941999437811581431931481 * b84 + 53732696674767352086201593042983321694325727390422611230649098249808623723172 * b85 + 73901245828176319063592276728523868059189305926432855364272709254203061593107 * inner
y28 = (2*b86 - 1) * (75575707347216773461746955738914903470636117020328119917864329471484966831563 + 80029778249800507136391190994137280123305641344152837075695145764448627475513 * b84 + 10804841045732828531382320510121818732321866813171756291714597153345628883659 * b85 + 25967494399461557273238856921252239580540746613066505891911647578489365215163 * inner)
inner = b87 * b88
x29 = 57748148607103520875345230372566869390288332192359485016834155177911020237260 + 77773448685005414655626556513338970992017264425900963392724233004915120238993 * b87 + 18847555747165493508741619153709981275277773518330985014247630304682791583314 * b88 + 23764597397255149832530022401740840894148071415477554617805387433444925226202 * inner
y29 = (2*b89 - 1) * (92993941910695366629046487282642134385343171741782044869246096402242727960215 + 8351638178645459997409271560885827840146364816304394633673621426276253695730 * b87 + 19631111971654327133842432024810842643062998576782468406583984140686401460128 * b88 + 97016602767268434815735483564854760677733262259578373146729908205381524459304 * inner)
inner = b90 * b91
x30 = 115014892427297465363145553985518283542829877579979522503366995402926389315933 + 59030630864184543959001569794247737174774290077644691506120908528593215914039 * b90 + 52532755510654189538115480396987998384952626128830699693342251995372759788839 * b91 + 62339063845645444776262210008051612997815446619717202727711962293400568272543 * inner
y30 = (2*b92 - 1) * (25959156617872119272551294645911557729188406226594131128012408717847432972539 + 33576230181298812077510381218621973343325522061789963517267246561272185415371 * b90 + 13787187070592742063025114167910675315623308232361500846357339811350822732724 * b91 + 110257429281630525208169516704072962257690515920779064291480589770671909280016 * inner)
inner = b93 * b94
x31 = 42529372156416565174016740688551634802805600689426030963088563816643069531500 + 63562432453065367981891369672445732521261185255626438449104564702062183865881 * b93 + 111701791699587389723920764174185142500237491784919169230193147504761848113921 * b94 + 76478667734985052599201660823917358607795064027165245244649528032000616851840 * inner
y31 = (2*b95 - 1) * (84005935610929373283805580190469180016605069999905896626248533828783693231818 + 58210439882862773306950913144274238331288816692586756657348274726756746332506 * b93 + 74782244543259546156367355447307160696842520630553859952100378075759981854248 * b94 + 110329060384797752559238542570631953612942568831817245802428122092341129449088 * inner)
inner = b96 * b97
x32 = 25852595897615661713507878328504604501389071456820009650792356543315148729263 + 22291030752922571748887664350332099401024046616876556064160360804394263144670 * b96 + 52676984621356736531221893820046489288286834371715988720252075850058765235325 * b97 + 66920444285354553013494447714397256872348047183567632666084067728603095297301 * inner
y32 = (2*b98 - 1) * (99083261191999365932705008841818825796525605108260215762176696203976491618576 + 112325627246846400720520458963846110156089644452408340034162040883322990672329 * b96 + 90238430537519121886087208696519973012843336853997833689672497356475404362561 * b97 + 115329145795292195899937844117801591257021785856516186181516482344797267905718 * inner)
inner = b99 * b100
x33 = 23595081766641848058162346172047954137622667792491374981114239268572883464000 + 30922761392313284061432144531987082242146273738724333795926818640866802751146 * b99 + 26836850301949061648104592831434032632713235628078523325803759671033927788727 * b100 + 28310590795668327035395835093335440062777901616850370892161154770926835315892 * inner
y33 = (2*b101 - 1) * (60139666614572381956151718915499714988492630952552339293306772309556984971272 + 1738434638955933305045032544615189666279173224415780052319051385670898890629 * b99 + 64445434087494199090559025024149832403722421086978078383113736093058061210111 * b100 + 23745760138276702560092923050607104022376194552377041830398364270624734792257 * inner)
inner = b102 * b103
x34 = 87415851301863577359747084894019718402589012763931573784970680776788797834801 + 68907306868854968080171713782317898394227350921018631208557445918008000505993 * b102 + 28278640661608144368306827876219471543317427992470051893082410751120532235427 * b103 + 34025238695971691157716032546213282875085080322258330217489020546973442845746 * inner
y34 = (2*b104 - 1) * (46220819364700379108310858959400366298268533708151522048160176037166959545484 + 47746654108064511954164153296077019796752459431748808466472572784255738142514 * b102 + 28161407884889987519505172779620038742191028278169893912218647179876075454724 * b103 + 57731980259655689222278852792460130703980586186305397519584240421019080157191 * inner)
inner = b105 * b106
x35 = 75139002021034440677616703173557791168955783116383231594222017124643974622906 + 50178707317920195748640253743144694309303980539597381829669916669974740953677 * b105 + 41128078761034078940932209245158198370470971523097552255537630797888603615502 * b106 + 39124741911659227688154726593126692130704023811306197586297880697439767341871 * inner
y35 = (2*b107 - 1) * (45804783314262931051644481953964837786230586342602256628322906230060797506863 + 3361155935184376291807743267532868065801010086292912163679284919039727432775 * b105 + 16883019488662664233638217409831010119122831313401102852548717255502483052963 * b106 + 111961475017894809087888688776551466245312804506723966002370250166424108368417 * inner)
inner = b108 * b109
x36 = 34976461494435923632404053650426321555158974563953239853630658632997717762485 + 66928157926901938227016653416898104286452897856288253887698834081089649516757 * b108 + 60686376858356373172484955465967100012974488548830580945048325809236527749707 * b109 + 111900851895130325560741551493917694606602699227850444338017728217919880366591 * inner
y36 = (2*b110 - 1) * (31468172362709649154876111495870315999135824051344638227627621269774082140847 + 4990315755020092083297864576016918467230286483236428670046031311045637568382 * b108 + 97838913752922795284187694926745802424162506400270436544367973223487046797775 * b109 + 36057319828185773736619944749389808901021518639940301343997618512595507108398 * inner)
inner = b111 * b112
x37 = 110412345823943659756431611286523766375675872737261314756735956439409287623459 + 41029906576727511064483335517641226677999220987159650726646125513474083641797 * b111 + 22675765386652275421687108960308568357836169003279859010287950253248754886844 * b112 + 45030489973094382744242901041052905522736317817017801528850464692639483388571 * inner
y37 = (2*b113 - 1) * (103696429850474030655708041487376760311845344413339763399446400274783596352045 + 84638555843872732853156035301107615840452442728647952878392182752785147030634 * b111 + 111381999418106300868480672981103354227169300290799471781829353467657548686922 * b112 + 56014435862801530781394496599409493496601498347967155558394378238784798226359 * inner)
inner = b114 * b115
x38 = 52789825572545541399243718625059297032252858268410906443026631337033842697499 + 74503673141289195024115157066392322274131800682324337812007534860041163238194 * b114 + 98396877312762572193736478393368914925083837734762790613815571048759191756453 * b115 + 11735670751328152418010549009932966774485853275663867618240521444995385735248 * inner
y38 = (2*b116 - 1) * (65936880275105979766757928055287754710384640950485784092018541784482265410689 + 90301228756868795953582049826193806014129071262596328647299685846162528619157 * b114 + 94058076482209892069950775199805068379958912453019469014499046437560286912787 * b115 + 75470785699880257541764199558274588195443711325855017655849494093132292666114 * inner)
inner = b117 * b118
x39 = 78626029347511060453396874059032179533462228189009077313313805821360916479069 + 103338421461429012015096334363123612310767217238418541023616363883092350336124 * b117 + 53836225369381261109710143287134573186608239238642935093231462113444143936999 * b118 + 77252235398375262415443775718626423042110581333613519776189319589784009498170 * inner
y39 = (2*b119 - 1) * (11107655061641085623894919418808074377378635105715140355158903776946137186001 + 49112462242675666150768858216612274237691514669853621099932825311746697680917 * b117 + 80549184742722150553348899777973421927005836553173839240679494734498412793343 * b118 + 20512894572077091203523691242494347815238955470691159406072807711108243152098 * inner)
inner = b120 * b121
x40 = 57325115679883891245570004440973960197563952176711901458111881686388551015673 + 92326703235967732455706142477897679531843716876520718612025416271680471971549 * b120 + 105732344581578782503949331390887492876483036986058355844753998073266307579568 * b121 + 37767653573604103525270209985459813477962226232430174595131659679527390249336 * inner
y40 = (2*b122 - 1) * (60342902662387519741647611116072205721852432606960633956341267946555167329230 + 23456096830600436107839684355703184088740594131301235847497084427560876570948 * b120 + 3406443015584795013730904032311773437526198888104554987498490817573468426221 * b121 + 51742641061209524931574079247397147265773526469986202967411843895692956125625 * inner)
inner = b123 * b124
x41 = 86900084386997005549044509483085139668854701568048589099387442706949069474530 + 107723011109702541299705058041143558146337558887219437055510199677443823488339 * b123 + 86861173365284062320273816875614272203110656414183021175559169401337470798326 * b124 + 34658583851901226566764154273930690009575271537354730184082308752364534964840 * inner
y41 = (2*b125 - 1) * (72848193820263119054572249408634403887221328866546275155532932002554716982015 + 100241246162270079489338371961365348880989111239136863919554653119089434808805 * b123 + 87234996233572331034894739129338383784953281283888197096330753903879305170467 * b124 + 93650258659847030758122848535616412916568316964406369989196531158113978550056 * inner)
inner = b126 * b127
x42 = 68993274464871341857706253975928468058535574908374417979570638826822718511713 + 93749895165478994921238426334818598253676231361268129300721589909026154341559 * b126 + 2428682502231945236494912514962021786132157153495452626493868963573146764137 * b127 + 57522144673840301058263874473169780854977025701364947877009487178686067760987 * inner
y42 = (2*b128 - 1) * (58384990549119489105681012049087421229967291229545620600540393350330803398915 + 65551509655160251498238428846200030328434066638989830711810197082867876371497 * b126 + 107400292086110403013842220808153381478226576226813804709092093428751159485543 * b127 + 79149406139812940000970341213103049307970740482201965683280895231402976770775 * inner)
inner = b129 * b130
x43 = 3892867714565978917529849681733796044415796411026145753887154989237000520407 + 62152649349020519662854824391428997947889060785067917981775014381063817244503 * b129 + 50461780059858096675339690573513155246139887312382865037010872459737910199787 * b130 + 73724264742566630659262589843976877629590168901832038955581842681505071277528 * inner
y43 = (2*b131 - 1) * (44051696373305205741993288478136983497706156210585274764186964401983602903539 + 84743822489376537097799156850773120456267554945941838085911422075666098752152 * b129 + 79260676722898476382794857351544160830834034238063229848152884572340048350125 * b130 + 36481615204886465653029858186727315746368620832484861483817063505848112358209 * inner)
inner = b132 * b133
x44 = 99196084586266508671450098214774513808844273973675770013883552850808363100554 + 73358637834577344628994754063727252010892169935240380158522029218015317406960 * b132 + 58557077726571837980213262599228805991939759024789240389678826742229415544675 * b133 + 31633179224822212700047573498231969469714971407582932928462726086910275183458 * inner
y44 = (2*b134 - 1) * (94568621828316400253135383675822949073145812480561158733100135480982233477421 + 113147471480993515805119853552694696343416922509606487565054140084561589330182 * b132 + 44285076462358958144402803819661954819573205358356468908303696501092979360041 * b133 + 61864642686609735696236897146396733840801557805084228498084041956948041430618 * inner)
inner = b135 * b136
x45 = 58054967612158427405700602781365275448858867180883236765020356449037432970354 + 38505492516593544322423450881689167345067349095151410563902901974996904379043 * b135 + 93075221701152587110568650456745886813529163590135604891333151357384720494640 * b136 + 112021938130271887593156813827001973257162181482471310339586891330252425714121 * inner
y45 = (2*b137 - 1) * (92666389014279986688806596895448539679033011888280944182187550380843489014359 + 89107075153849093222471248876224219050505999669276670307380948373526700221984 * b135 + 113061224410488037964982474807301126263134077701861523865887281935421668590214 * b136 + 107741037188205298135554460840403126774869706627941395508479831721363562102337 * inner)
inner = b138 * b139
x46 = 56845688851259932791029211833453304880479467041169171231342237933907484745603 + 34181165091268455566512516066247910094442783377563303440629805607635112067175 * b138 + 69930455892973159964365209089600683488359031706036387591795560310258156416814 * b139 + 47959132733719009515128335791857433192058337219597660875028986221262515598704 * inner
y46 = (2*b140 - 1) * (39623598026200935473099965900366495866970395105357011160816337407508939653958 + 99889411026812559207560074670535477328581535627132862563589224558160952448124 * b138 + 100611554500958549276194939286204812658960337168450932006638869723243608035504 * b139 + 98641546375267806598552077800661251500612358603394852610657733271430024508668 * inner)
inner = b141 * b142
x47 = 92242945469987961757927266952823568185295644654792157747106008188193502412968 + 109487749023073530280718575732329875479248215295799346359506945171067309025786 * b141 + 94326252046737935868816683878714765029991804600067987129889990946198345155699 * b142 + 49447955690080149920320583842330756749578326829742173472594946895964706880584 * inner
y47 = (2*b143 - 1) * (7646222959151540482755319894233823066938494494402530887710894580413559084568 + 21586946311356482232325491379494562274844255371141590461368280558593865891242 * b141 + 23608578961029173547226561965593128882110211082551699088057833299020752528361 * b142 + 107055307621967024644341405483598780483004329266985381807574225045554566015654 * inner)
inner = b144 * b145
x48 = 15208254283395187615479620309247998474727361372877848085565552525567855685961 + 97668680706528759701525575651396907285640097779545320009451707773395867393795 * b144 + 102270419445851111652486321386078490523880878695611221343762871755536955050569 * b145 + 76109597036487094582754796294013628123871870481851874664639429966386559648889 * inner
y48 = (2*b146 - 1) * (37481874966610980958833687217349115658523570354602823546145195784805566439451 + 51924841265989896955582577587612020067455271233033814832023091904664952365506 * b144 + 67837815634908346081231798701077434954638141248782898889693883409715124367304 * b145 + 85886871105591144230430703722165603886713977873642147511237794974950073822485 * inner)
inner = b147 * b148
x49 = 81555967157258454460196129571720669120316820232287098038192533754165354083587 + 88047169869227933455364679015650545087995015034497124859934758676248089091229 * b147 + 18258270386907736156213852179914711074781787228509905817854606405362433831393 * b148 + 114362801408154267251219047620347335404517043037860492619430813630550117225906 * inner
y49 = (2*b149 - 1) * (78168700853572553514785355998243689151945745252723076179145518103285160689138 + 106085205350315424386055069137499602876180540862980921152451198331930175244321 * b147 + 11267441815545302499663093659699859252625860127032595490254706282084873266579 * b148 + 12381050870301825806219841809142888203623688097211972261303046910895186314666 * inner)
inner = b150 * b151
x50 = 17869353712353515018564372557492811081474983046759000169160112394894175259549 + 27827016775997858857471136893958674933052195673792284857519496227969075597212 * b150 + 115620005382722356911280232765292578022063590837845654064025395747664417441693 * b151 + 111314273597552139321170320332766700657223613145803657725760057914402856899424 * inner
y50 = (2*b152 - 1) * (6203691599441531944709854749960319345778876445249804595908860496616030069432 + 58295034494004706696334276875211281073653392639877401080254496641396013220505 * b150 + 44017291644345935458174141856028643888883110822826613328050670384584118603598 * b151 + 79537596427891049283314547961922065996858894982933204874596018170808694233573 * inner)
inner = b153 * b154
x51 = 58994093321861136317629977085449167453770668986728987071736846371996944501871 + 87054649756756938233205556916865387540294333128090566112563544655416564109281 * b153 + 107323992459597169303757695055720233108956117063358619589868406440329809849784 * b154 + 64088158353453496576517240212731977787574425289496296320564028619841652043472 * inner
y51 = (2*b155 - 1) * (64656509373709055355139084135690264887577288432080996253925281455397206377061 + 6787561111194538170856968535250050298549981437973028150141478298627424226935 * b153 + 48741999639086143761370656927024333094316743549350002511203494781279026032607 * b154 + 112163800033930197665314646170218221669926218910370550406709778719562353182550 * inner)
inner = b156 * b157
x52 = 45887223693317418651309606300853873815611561443116499658138315788823502360285 + 115227630754003360878675122656960449895522478198613300433147362861688477055915 * b156 + 8169632809257662559377631008250494162464961264590053024627992966336570328923 * b157 + 43346583929464740166501236457946277561284511456516078673850177408204488829905 * inner
y52 = (2*b158 - 1) * (69296484324986829636576254840677913888020201824438150251005049259863118294505 + 37216385294547428148219543635057077983929255445612216124026537516315598199227 * b156 + 114015856000511545833181422040028147241840429857269276130026808845591902652469 * b157 + 88853812738735505563201019800427742544063654386997629341816440822067835856497 * inner)
inner = b159 * b160
x53 = 9317115755266900422884502125996360521600871876650694692974645248721512062613 + 64145684353332986715743874048295256350470778702683406414496846331204887020847 * b159 + 104616875171229161396937987249612283859114822571163011251964647526181675959515 * b160 + 12418992367030337241506310411374453817123993535953619349538782800442570303889 * inner
y53 = (2*b161 - 1) * (52798507651060309623919999735862328933076847198279295495925473351256058450918 + 60423727545111697882641187414277788124724350154968519687739605835619553449626 * b159 + 100874989086947284018176077941069077009114113621209971144405385645985354211736 * b160 + 95971632025513393044089848121585349294609213187468791612286081551563545540879 * inner)
inner = b162 * b163
x54 = 39839253912630740583536841359135441038155005388262152634814013065875215357283 + 108453144181615174182586209123366122940713791177302448148211019554080409241075 * b162 + 64568976066877416289199177458757476126024668213496943610967378438510355982134 * b163 + 64100440923824770893891257936439409950074987748504228639125747348732810474333 * inner
y54 = (2*b164 - 1) * (29077362423961533714183719418931273405550299776477289372526746224963313820808 + 86621435194712049548903567827859018522922697553025610706858939838055398230699 * b162 + 102700691900809584662832962278931286347117960230802920208636351160996817310369 * b163 + 930085293863244575975281835955944740905473062568695057870958426962999354533 * inner)
inner = b165 * b166
x55 = 103904875190193639717742757177160042287000995906770700802631536033478358253918 + 90210159456038036965798045908117558610414057587946542807403165285324104556874 * b165 + 64676621149727673512663369492751916368161090120724710413640229701482898787782 * b166 + 44391283415546651217735960154010547046401920927290285739726305195321480132106 * inner
y55 = (2*b167 - 1) * (69147103419145471739245368407464088312437257646300394029688741168207940815275 + 99573729327451277849789140585569807059151984614219307691942376384586135788714 * b165 + 79335766377643906864513200793915195214314564567150058722269316443838687855992 * b166 + 111731667481011587138563098750121324263839184287457310805370204911204861140992 * inner)
inner = b168 * b169
x56 = 80276288800164408840321470203924756977962186770373747537799085560626593813738 + 2393095001528275465162718431352376542352335464942993158582184210529385392349 * b168 + 52199167517149491370441095544831189086080224135444728507446706515045578047259 * b169 + 52121382853786090719523007231696632121884742645990627591112653344175193910289 * inner
y56 = (2*b170 - 1) * (95066749609397964625558826820574860972355653516977147727504424242107151319587 + 76220865473681503478143203870055330792503500233327543228901639454351231518150 * b168 + 47308896428418877566761710306147518848615433081846458221140273861344347041426 * b169 + 78738552973135592049912401134582337091009903317165935873605625816638828549355 * inner)
inner = b171 * b172
x57 = 67057095087723953348417742659349788845328125808703023379017582216013165255241 + 87010611251084657921043062350518973361897979366611004559070343077913319776195 * b171 + 100283730426818669588023163799514348286356351669206659923974253054991919225875 * b172 + 59138665887739122428902481933918091785774779924611085841591345912658896096902 * inner
y57 = (2*b173 - 1) * (108802839865163676725108651197545318012913597855608928798706903875554029463264 + 92875017335532815586826429760189215285627198260232058264054224404041407756807 * b171 + 41077028047738608960826239630402074858955230129035953542857273807325176455309 * b172 + 94507571017695574392097793981172396214650064116076916647444826248382501483251 * inner)
inner = b174 * b175
x58 = 19575710839727739962413189117506001222606117763719813387750060733387644908349 + 80858316643853046178869350435411232939187025806211828293284771843089125522305 * b174 + 86154720473302811559136149393223544253783346502294776690451079262012905051271 * b175 + 13250988150733642408599152994480317187238402280681580986641910161294349900242 * inner
y58 = (2*b176 - 1) * (103449031295586103655250907032815028373594201731218689203262870964210961724768 + 2694619724061015117659481774766862966790645904395670015439782179508605210178 * b174 + 39976182548015803381503515094623888235965500452731089513476035859719158896181 * b175 + 74055412789604096024175975264525866993992232070397982050120456220349503947424 * inner)
inner = b177 * b178
x59 = 39571199594473524135658818831751408457383943656415015011117027201656965453851 + 81433318441425070877703769042632147361257593142432343538078928878974503328457 * b177 + 89012587899721792714217457590132500342618145002616683284726602138289488231196 * b178 + 76849261398678294704106803783334260496057075582715070989927286835253239494226 * inner
y59 = (2*b179 - 1) * (55226159257224959136844491665475988643314380438855661875663106302044535751712 + 28859193303840854336522128158614974550611247139609282856737549470319105668594 * b177 + 84354458674533520506399503670279535440232140359184557000710038989402950867770 * b178 + 93547368753105463991997292529674016287994316025280257949972360623933642917923 * inner)
inner = b180 * b181
x60 = 90865239730649292471029143571885117891450598207108019133361273416317191406424 + 71136761326992068609510349370297610934479131593025178120252839656273765207589 * b180 + 84324763063768518216445065072993158987249929312355394064080794687837447617661 * b181 + 14566195049043013009648687119588224852866499867571602713207181561804535423968 * inner
y60 = (2*b182 - 1) * (24850273383598002318419278925559344620874000998334502998812290213256168497349 + 72285625508909247169192453052402018050497829037067930332177400919882867192791 * b180 + 39282118417108292589403845144105405756995757225882677154253307218411113196635 * b181 + 69210333172502580298566649823627242925032946934727353074510741867605503995012 * inner)
inner = b183 * b184
x61 = 88504378746855846647664227265846367020376435795035527084078063278259045463156 + 69540996747488627498305912965365941250744580810531652323709149554007597494092 * b183 + 27131690900103694055977278178216879441492880632605107320167331024463183551705 * b184 + 74296257087543079234008057772100940858453288501546455114460497800475694889677 * inner
y61 = (2*b185 - 1) * (38043017789479404006015565885345665318533936067370574730025574748665681395123 + 46278953227712111735513016524791576891828225381567089681805830342652555158757 * b183 + 106308023740993921736660559846871378389161881586925412457278542481536713626919 * b184 + 9331203705460417341026079885836966541953768455452090737129759361764784859650 * inner)
inner = b186 * b187
x62 = 6415677169993245657052432967776296880676217124922265979504880009689737624758 + 2504172088322278019201167702946202043376974630874991305689367724531509905313 * b186 + 41919235130630449610851238809217704112776933544948880064368969179767940151413 * b187 + 115462504513992345142306362110239398127616816394951724089771355819079379842497 * inner
y62 = (2*b188 - 1) * (97023383800431547679515046578922805649303232101382158773498127245922618045763 + 75974351980698836213210739690368325280271369893548870846856619095929093519360 * b186 + 20884000558417362351510002060307483934620354381681755124872032230813824301038 * b187 + 10782615496162896747638148893468350686333681798139423466914772569466834895962 * inner)
inner = b189 * b190
x63 = 353461101228551709747828867604698926073377812189791853490455075161166896069 + 30754668212903425206212664201125917454488304624297668599919154437387438342268 * b189 + 115787201364162142824885846856462909097938455294929512602730068519939798040436 * b190 + 20617481936459262284756789658338909336471513008947023804226005056968553144487 * inner
y63 = (2*b191 - 1) * (2218151703455110134214032338968378386543281624437015443531392532917483321044 + 5915438803987447297327122372386133947562895755841811573583636678450943497671 * b189 + 100749979968728632943360831673240941189874329461917221241734285008903543124776 * b190 + 63167561126170086973067296038559673793357474136316534477699655150641531695976 * inner)
inner = b192 * b193
x64 = 45371860391261906243043811435194033201245601055780898648745137592460894997986 + 107009863226774957733855357177036903972149569677028947314742956533990381360558 * b192 + 72982212045783537092337685623377024149673730208943099969550959777255178754775 * b193 + 12856722439177449875216040379403407118366221098008738869576519370016984700318 * inner
y64 = (2*b194 - 1) * (75840676183804786420922905888682504630696301607259369990097663403409402346770 + 226775175967280673486940949968965441286256529364873213235597068973888404946 * b192 + 65452062845874633562823378332166875674042480488107425181810036640873904055131 * b193 + 27701421187779577502465949029450602104530058104009028302624673106360353288265 * inner)
inner = b195 * b196
x65 = 79184590961818649259662814491148593904481009000200104011970771673995136706774 + 51680674679117425744952331780299639577080551120124576432770036001618643505292 * b195 + 77646759438158909229714260796728423484793949266901685987714581245868833852154 * b196 + 31083259365061518321619644820454115675994164393269106346944567594032430737520 * inner
y65 = (2*b197 - 1) * (59374384762650995672560512326525038324981024054249628948057882574917497240559 + 3094390643228411487512687811650403676165007072610010781393553491991858363807 * b195 + 98974289315978296169403036547438838189453795869180096312672381532156005239732 * b196 + 13463981110804899993917249379740482639178673855563900048695272662515752200514 * inner)
inner = b198 * b199
x66 = 78153535888357975592306219104989840408013829608968228209445051530540780863825 + 37379497331847147934108488719487452668506991975231461998301069284080218766697 * b198 + 15115295814945490882804496254082901024226901438802353589715287666953852342030 * b199 + 44304968165028677752181166583278200104932631600619518559879930145428048588957 * inner
y66 = (2*b200 - 1) * (63525421291884713928808848370814678771811398523974038368536763106501459500284 + 98277364412261000866118044460282525859451680096586623238817469217339080893895 * b198 + 27601294489952159180009840418134950408199245840846303552825403809249116412710 * b199 + 10954002811007536251317481225881145119991239977995494302140975257784049100591 * inner)
inner = b201 * b202
x67 = 32937473415601253591402471041370191937865817285230608068732146351720230754009 + 13114867140018870265831948950345986752697555932524566547123041221746129272492 * b201 + 31199891949678143633603898706895942489465299328476512262699134306369087763002 * b202 + 7049584298406891984653956156360143536345248709346899829906327325652991154067 * inner
y67 = (2*b203 - 1) * (60754506162483978280413421670741623654583295283672171146656660141205944076522 + 46349757180271755663363696894015846841723776361664702800288775080926252000545 * b201 + 84902966712846369151122770130220715492045255239963500284982487768000262978734 * b202 + 47362925206495502477096336122236536950079677828670801562164210288782518536326 * inner)
inner = b204 * b205
x68 = 65744252593813803182395957190449404239398474552696580534349437774532193925376 + 97295114893334956119116820627711449129162919469769917456489254707886208614847 * b204 + 52339515474409299950964931846530874800015269037621275427940463004593980641746 * b205 + 98386113752596439466993746633979760057198325387407094018972532604812159766149 * inner
y68 = (2*b206 - 1) * (83385277469142333180828070203867149111838996689597269799865143845476685028622 + 40197507407970818253986256388978473684520305741788154348312582710319328249242 * b204 + 28635474096156330697836802545065204997872879183471711663418013817202850750257 * b205 + 17748165989532277579692390022506433384611956884586846983438267012185260555868 * inner)
inner = b207 * b208
x69 = 105746309495212485355331773125074593039468444469600756457416667929477539758556 + 726234837154226991593636260964321258546571955060670858363631953636216470560 * b207 + 46266656982367862304890114693417891844123725408915340833579233644102049694056 * b208 + 12056354731249056581699877952834322143869722252235912114780238401116411973382 * inner
y69 = (2*b209 - 1) * (103857727011670459347604991855698299213568348944916521479431969656082351959733 + 18740826223007994658394503612948444128840855009319583078143030227007801554827 * b207 + 100625322162171355357215072215907185082452506095851213870096024218976445559614 * b208 + 13442132015262115105475653036352582633214034597491966241560397747655893144087 * inner)
inner = b210 * b211
x70 = 61051397143769070376566388824546280975562275023858600108667321556364213298191 + 16395461525750843059372922352133237416324119763941021462592889666402112462398 * b210 + 55482496269889932204466600882707790248362863556920879636127508127683140146739 * b211 + 39768129416244286167724860889319411171777814318516250151788631336377046340732 * inner
y70 = (2*b212 - 1) * (1978405837236282500031547168245751024928173899760993918265491408195215045135 + 10040652552654075762702703520003249064507658423183257960510063511419946271093 * b210 + 105629221697848684393675676628833149201831973067625006610300261017745389653475 * b211 + 37284256672428292738999829584347344130686962132697376741410094606956607341670 * inner)
inner = b213 * b214
x71 = 77625096064133553257490895645690058961071071070578361818198810951183309997650 + 38455190116942279474877584068423077603748318257330981223779808963860803707286 * b213 + 40577777632907494825650675889778304994866369649149570220649779187258318855060 * b214 + 62501880111758706089501248022118342381899611339950326063136768948261455279713 * inner
y71 = (2*b215 - 1) * (42487057130307352155932212954781114955502968862168859217908420682845278249453 + 47749423408316808953972448759879200785414869081376969937436361961389487616635 * b213 + 60711533728696705717924286550690670204054849635365451302040200334524202153557 * b214 + 61868634668082895592110343847655442622725361031797416750844530411833032955513 * inner)
inner = b216 * b217
x72 = 53802877536191555110495065146474426099125601125285235583524454450791357820349 + 20602649519608001654487495057863434383201388736502763132429128689768178025724 * b216 + 31657144890893498688446012640265524138863872801543423239307095431532365309171 * b217 + 35058410671785371034763022851760082134530675785106540338492484039361296115852 * inner
y72 = (2*b218 - 1) * (39483541234663076576297934408674206065644780939682088297365891894985715334963 + 65361840606023100365496866799951193549500572833379405906345694736163286961736 * b216 + 63744829469859235238907293884903093901254798462300567728934496763355664173877 * b217 + 36815648967758668548856324124543762762179327965016555045690891893432049783975 * inner)
inner = b219 * b220
x73 = 42680412285822520536160450324576059363445131864607937347226346674660897412709 + 38321572629430690628374335408192326098287775998507157121997804342050504656078 * b219 + 90862896061865988448788526026740324272038527339064026151439178356917171944874 * b220 + 14069707682173247735781024396753718421244929206468459494072357377191227026654 * inner
y73 = (2*b221 - 1) * (25818280331317479432216712634350447861577000517032253363105356109251051303864 + 36735585930401731809263163620014567867218165735518528064792687287889214270759 * b219 + 18423826457626542886249196615110300350117501490630259766366134407781561695457 * b220 + 5209763311431099203891612896367657124901364471253889746684352012434101874045 * inner)
inner = b222 * b223
x74 = 27303819038860109315702801126223102977471195498518656519958175485927544376708 + 108516504290960562953749739113625973219670612414615436458188118653874748487574 * b222 + 99985580943434763265893727656184175048618285017503967915972662538574692406503 * b223 + 51694578402644966673150967723467552102961007483353546985142387609706881396692 * inner
y74 = (2*b224 - 1) * (81600708455647037134130777944437788482995129844686116180784521951165008166431 + 62064745165526793556857208661096467634965739458223756659460492092771672467976 * b222 + 92299861690192344002099808242396108520121027401403402818941284852880783112642 * b223 + 7552313188385755600968975130261545820251266889939281933517479775031112829639 * inner)
inner = b225 * b226
x75 = 45830133739810205939453413665728956678419853257521209321873376057699730931396 + 35797804550187399233577581940355935608935555215621857900994504350677168844728 * b225 + 103758879816417218239428686585132813470325674843330534992077804905502113905541 * b226 + 105291386216788500161126704001410003094655072920858722688754149301343686161297 * inner
y75 = (2*b227 - 1) * (89749968603845040996110958323296926001361556334624545116702749105995854630488 + 43517013758413449916819733114440894297490963573195240077050244686820286849137 * b225 + 11945463184486747884752053964018246334226790650135031384297807257744161456881 * b226 + 42044922065193325171571347001380010260767016559067742897872042680982686694544 * inner)
inner = b228 * b229
x76 = 64883781523592171071352616092643953595624229476042153003443541529155571633891 + 29869387331851694673465453609713826616959466188801088872792025061177261809947 * b228 + 47514345214356057216797360830273938073047828844963483794486819661288034543696 * b229 + 38732691055111829949945911549053069173372577619358607644347786378603978851213 * inner
y76 = (2*b230 - 1) * (107200935758494483329239130852277047157098873798501008768000731826856936909467 + 76197684835318119761731251891740381472614245455451708640465410321905855162788 * b228 + 77231635805896695119798439878562539720679964645994695518738938696240234837180 * b229 + 90481283091096137198748307356890664587876365891396294930464171410181245499018 * inner)
inner = b231 * b232
x77 = 4165534005891099945644518628337794909258149260920441564380863240639673503146 + 47679674867804167506801059038419440286625213869710801400819784514499162105106 * b231 + 29210672747408738899310128889901270037295640173122554573597599983323295438314 * b232 + 48515227788899327558153481631138611243427951340940569327839500714173989340285 * inner
y77 = (2*b233 - 1) * (81110506832313949367450013973952091320140199625429386634360528566314751340420 + 12509869646128115092336636634700224328592470923355673592774820199185490889842 * b231 + 19380690061580904988337932541461945020176272650946571883751505094566829395026 * b232 + 97026241840154942714548892704855944809934718906336644870659430397400003824449 * inner)
inner = b234 * b235
x78 = 57724201199859868576591529029095377734669469332906180390502679791410560845221 + 4282822042298234570415592384507955402427669105071419990016186039750035056628 * b234 + 42360454538319343671608421748802343744654685686738527782588210443578807823176 * b235 + 111024617325839746077129305868781331292574117208329443499526400679238947028050 * inner
y78 = (2*b236 - 1) * (33843511249856815201038548305279659451356805375317933843606117567358562175923 + 82696131892382199265990137714947739078498878222308106319971039283326605734192 * b234 + 50998774445216738217654455747112642438437558126130040699896339080796976611008 * b235 + 51784086677463797023691442416761495140729584593115611999265679343389044325381 * inner)
inner = b237 * b238
x79 = 27534750986692532257847179485850396371564688636472772968847481392513566738149 + 10083399838833255939997623385170305031722733581747540293656067070084047146759 * b237 + 63219821423963381027509458114936255609306563792693179587510798724310610370727 * b238 + 2566939643381772323245058758878110060023772545954841984663363302114256603102 * inner
y79 = (2*b239 - 1) * (14417633821910062384702515379930697318228740449787827269472077417246151543192 + 9731883909251698715781152984517407135044976264636435797711909540811153590162 * b237 + 1554616299399813540614299277039383994236302879013501071698742616571683072828 * b238 + 94846214391964860295853706937924262597976038930426285055151902092934651449 * inner)
inner = b240 * b241
x80 = 32642184688952577621804722188445217702375334773659855250559492471094858608595 + 75761556673167496694846556111570270107801065780802058679051196792841812000764 * b240 + 40217213909319603532580877736876398818311849175787174931972001821881871916713 * b241 + 113123874802681191993690730531618474976650076978537081434329801946749524967616 * inner
y80 = (2*b242 - 1) * (54326324109086183967595831859179998839972171403843400780486691541086684010488 + 111097124307324576551471866571876555146501404373970911858416955796984068805005 * b240 + 104581993903237122101211900868554493905041380128612771290614274772220051250577 * b241 + 74983917061056478998408692633657926189083066384157007185144329929032724991417 * inner)
inner = b243 * b244
x81 = 87888463941136285603077135557304494240427351020974690238429172693632633274450 + 13751933907047172396816129667887574551152703235057549750266952480247476665714 * b243 + 87851463056809961207705979402132493091773263979476628964460286552311648422651 * b244 + 96763077316343359736718341533401320365040948473367915031424033736048153798481 * inner
y81 = (2*b245 - 1) * (69809382241983631715756162859763900290753183720722577807315744666264343114603 + 23439743223231845590685240165130035828841097884031559628451519677318257706829 * b243 + 51680177930278399874346510680767294765838233843435131549707000419632826856807 * b244 + 32776668041522023871427146781450904203486494595563836603278344442651592868028 * inner)
inner = b246 * b247
x82 = 34457667424897058102422661913961814131438492649285626059789170214165662952360 + 25431581240237597475788216365880052456746356769064842423368870079300998138103 * b246 + 80282696263931109043844557523105151302213691258487261820426576819398927467802 * b247 + 99336982721665845076475578637568381716719954891695438384465205568720443019318 * inner
y82 = (2*b248 - 1) * (90262849886888666398434439565654011522705682991248639296663232265924479109075 + 110347808754562308687531138287010019976854475031781025347977096670272611804321 * b246 + 12059279966947293184359244732117684134470320387141255094377508114592017795882 * b247 + 38932092553398951004843181114781767944984005262244326308273851661212822788055 * inner)
inner = b249 * b250
x83 = 22801660359267558953854607634573381026412212387159323049067144798521344098960 + 9175341493979712709945793471964576812151963947144100421718435039658983372816 * b249 + 88472931164459763935679155534445633700923947135934031760704012712928236727775 * b250 + 17590444609329646383168456168049296264977157455756428447066710923930348885205 * inner
y83 = (2*b251 - 1) * (30418793613868797862087725105238105385796291634472385763649402585115824477282 + 8614692339049371653137876222382224126935462168148392871983993417603702299075 * b249 + 59461768025576997754205860639128419453439472698957085911329430452726639941225 * b250 + 39917251827396272685863067409497181629408261890740236109644417117843732174342 * inner)
inner = b252 * b253
x84 = 77791881870842700529635830127323866165463513270175531833279156406289891461266 + 74671670854395315658724979830075315439799027303536323651452961518193862979179 * b252 + 105515916099324654870757511653687885912126610296319117929036539390009628194724 * b253 + 56138862793909819473071587750337963541667086256099514099258039132952265623 * inner
y84 = (2*b254 - 1) * (20816575781170084533772975509550222318364315754402202255235566147373802900032 + 34160479735641141047813064379226558047349904386827744549782902112853529183211 * b252 + 90903512147121473675525036306330244145652401624040040326671778351252703112065 * b253 + 13824207622640885216015785311220305142816616283311799952988050174705934697556 * inner)
inner = b255 * b256
x85 = 92783386879262708608866872524163692759146862725338006325010940495217313752711 + 24544934232771506203537452876251242942795293831243449398656953959895426563186 * b255 + 48777165168047537970977796292079665052223830874667188258528670145488311714567 * b256 + 33484486649586102596555624650403433632185004626239268973003610395679526944585 * inner
y85 = (2*b257 - 1) * (43047391291727177905672213620894704784424263044338477484097315365176981849951 + 110100487235346243227097637699151631597077559197739749940057623186880719169649 * b255 + 53879408021602989684402410703578299863291557530288739659665935261540790350264 * b256 + 91796564825146304482043740757091141789072031056335143171198224832050644703235 * inner)
inner = b258 * b259
x86 = 50638424314873842047316607379776655400899545677365031011225446244351710094928 + 11783070066024499687698376233172679312163817257528669749326328248037153014415 * b258 + 68737831671295592058834585623159462026010662859870609458287702066146538866515 * b259 + 22594380756254001980371754835133549166567321288194152278652196251565802240574 * inner
y86 = (2*b260 - 1) * (38652698404711908834130072090727900584551708584709232811085380197691255481092 + 95198347156560989973999015080317564968989242358079435309943362876888453627231 * b258 + 38314639942675946583977236311687841081116213387049685899915389993818817266627 * b259 + 44367260548579372801728040612251156983095265128978932792716126877276150740854 * inner)
inner = b261 * b262
x87 = 21110000698485107883453344450039149218138413259730627513531064290971420337083 + 96989390166654841464724409001977961252952360401819017854340458321727258301576 * b261 + 38228498502409854564318865800761621596947336179713613992627795236916740845306 * b262 + 83724190556602653789411941990414492522227442306054139315107776898829232041991 * inner
y87 = (2*b263 - 1) * (25685593356328069062638979453774026953525092872048695741173199617863322174668 + 27385939688880179201260372622962292819460964163589308180788944514013237235202 * b261 + 25456113040675580792981283928404920113143787109499048312955988371844247695509 * b262 + 54928600745725149230508150122094275192902589487736907138671245968441119108501 * inner)
inner = b264 * b265
x88 = 110130265681161241721082860562671068230137457984658221677065162349835331196859 + 19296659532686660624661394744916353166024970976390991241431647702803710925080 * b264 + 53453151610304783784325501775191142158772885933629131786306250536718120132639 * b265 + 99386814499391091582660666125685706023682123782401696358029910323351892646344 * inner
y88 = (2*b266 - 1) * (87248103417085709903869462381268652214603131931537336654353573262563653821225 + 63545584242710603777315966459189075424934449813007903760401055126862509450221 * b264 + 55150672342163173666016344380555280876886411019615355108864937452360954451516 * b265 + 22537768181676364882942836212993740162827585696820566200687108023104889300879 * inner)
inner = b267 * b268
x89 = 11910791829056198040659746925587267819962977912542548928618420586659004596016 + 37025640704283346839786313896760891426800996283162089086851341616178273921903 * b267 + 89082174109417620360242973740252475332153589597119004886634457977515208563526 * b268 + 2266908921278621069083372099818308561918610879231430793870105183594171808289 * inner
y89 = (2*b269 - 1) * (29843504851432616320386754997894762326726092065175111975756245537559155398492 + 93886329857699561514589786546263994600197871974614069024246591345971512215743 * b267 + 90784668462530699402121111461339474012426088257526346741559130423736772012766 * b268 + 27203371503008823030592785728490818783274701861383128703268605635180266559634 * inner)
inner = b270 * b271
x90 = 111740427319210199140978223993286392880813970687143101888131521546008507380511 + 95736174981035383484374176805942720385107447862624652291603048190076673099069 * b270 + 84042522749040255674658671769769374060022986145299396363807174795828327073655 * b271 + 69744972435379039542432912807142643560683340588767052930458897466620457172868 * inner
y90 = (2*b272 - 1) * (22168161568122848739688026322582089500318584825059037062364292469634597996376 + 98612129794918632737936345335709870221237881274806905783781823119861457253552 * b270 + 56495165829075352093391799853304170953021854490092473977168467066123670095821 * b271 + 54647939370982467202534451018239006522847776018532370297552847242953590121526 * inner)
inner = b273 * b274
x91 = 22212483457928215448012509297808323431739492799724558609759300659328072360631 + 29620671236962053300419976545452726992877102075718848681250976234507933976648 * b273 + 63867986693048736907347075765330070622247882587738467873939503069870704413612 * b274 + 34892332209415532415235875360183870271927755545295886024289661502966468178004 * inner
y91 = (2*b275 - 1) * (28025116860283500407046505352185816325274753519807713062739677020731953897292 + 101720666402902345788392064298864774918905066324092852690590174128417613518729 * b273 + 30996541461903226701528254625388617443044190201328341372841048520140770405040 * b274 + 94802836701190060523816710500586439015554472900768656126358243325705080088152 * inner)
inner = b276 * b277
x92 = 101740466862072664166800921395915008571090813262904846887366485223273215125063 + 10736366036236886718672625165273445372389237276482251095526515838689820265254 * b276 + 66866060049871016804671199465166603201967029547648236634996081587955619466174 * b277 + 32599430746069353788364440751418261013121232480001539488429138438869641650727 * inner
y92 = (2*b278 - 1) * (35218245660852668173403009025456003689844929068057549839740743883414565566187 + 56676587652872015633983948516303366764782578612450830846291772909005495519020 * b276 + 101725811099167100397976864892543489034985860338132650036955852705382045494946 * b277 + 62735864663701392391418220074085797792461260826778984227484967333478025865528 * inner)
inner = b279 * b280
x93 = 23029793126578792030642592278915094942408332971889256242420987767350797654053 + 18582797065645065940350886463551858029825387457484085499899034024240843614262 * b279 + 8715857947906271058184239211676466133743221695908474546374881914320874746493 * b280 + 36882270862415051539447932692803683827240589564546469258477382836531282301820 * inner
y93 = (2*b281 - 1) * (92213410226429671643265615836423337750510192037520629452791408885328165223474 + 53495344905226563830275047160757037980162528300335736091000477696477761285750 * b279 + 9473689994971855602047684830974687818421672579801839721307940347893009051465 * b280 + 6037978832117210323647573806341608144516080497384981745340588187316527134518 * inner)
inner = b282 * b283
x94 = 107838016066959735025806291377630672024930289667247402567045499830092057772633 + 95224806603601043754476688381656376620538288664245552538269505547951389051989 * b282 + 48391757517399477499794859023210421151625600123525877248700951426711405508997 * b283 + 113607814278292740254268083932652679364638704189259497450795841267080467141706 * inner
y94 = (2*b284 - 1) * (4609357526696771258417848440062844791689991018463297020903860461953340370472 + 49789317213148154406512500310065943981438734469497392878330889936165164335645 * b282 + 113157435788333144730757252419242844934267314051041004844713581861064059139996 * b283 + 42855565886452446065315905045448137811777382844793013390488264290992297428931 * inner)
inner = b285 * b286
x95 = 105828690901607776359173527760455945601019744623334105645351330927083761071771 + 20229965110552844451030828204961642567504968871945278944437131362416843050294 * b285 + 82428369742355667876133444529557149333115240968365667004062977741285429430898 * b286 + 41310339987119388741905586967135009185530198156638351263305209043968886624918 * inner
y95 = (2*b287 - 1) * (62743861052660548586677417720689857887254654454036250637249628921833735704287 + 104992126970119676199826707282184254655303087464559389826593014354258825908015 * b285 + 96520950019521050021101442321341892250468115866829254519913644830692920281769 * b286 + 108945252379326274512779041210975861834993843007931601064321398616530123947899 * inner)
inner = b288 * b289
x96 = 57740570315444895213562642000448677799300339293001036145511690318466730637287 + 8887994671018916417500371643937643238223048980406804112714306675952696177813 * b288 + 48603755838124211191042434344417433299284652336133355098539198910139299740588 * b289 + 107779403968833148122913453077030262929383178192482621710817454077768703277204 * inner
y96 = (2*b290 - 1) * (47951490539163881261193637585779576226056596071927686415913571123701857367384 + 11300185094498265149312226158124717194654503406626110876637716369122734169324 * b288 + 11842614447313041274555351152079553443340127046080007409094731037241417929255 * b289 + 54415819445147718348417267078005032970805125898722704228010599898264422333917 * inner)
inner = b291 * b292
x97 = 30375076502609570243806701718022443340152421859691941200596996820593037040704 + 28129422858561387594740137061465792804038843721556131106971126120579831308754 * b291 + 10685216367714326786771920474305400327854235185587271866398783410105348183857 * b292 + 26547023362978338133804685984760548252669960921297962849126117946563292423435 * inner
y97 = (2*b293 - 1) * (54201730405573789505793829258249312539262754367120430522038823160248225658827 + 97329415914026141595356533716553805246714890566757541486330820891096869090530 * b291 + 85149688328931145073733833289628885748718957733625820511683347757412956729270 * b292 + 109629354953504258188538983444209400582851005775707024076946516714831890392725 * inner)
inner = b294 * b295
x98 = 72181934992568987771747232110550848957830005764612161347089130372540227892963 + 23402520932893434377965742240999293450534633245145174790465965178447300300054 * b294 + 29514587722179911981075133134787116142480555536160123629727071644053277899608 * b295 + 73065530664889349023673060747615532511657263579678862622639715415830397272740 * inner
y98 = (2*b296 - 1) * (13917246629791968778923683632121659157753309919899965311147434358071069291920 + 79887710075123267448546230638509743219101560329680179636368292997050636978068 * b294 + 81873612730881403212158565362752220410392681355124131377100318572800482218487 * b295 + 32117333318134351039675597034270414239753346367535762104849701232275840352381 * inner)
inner = b297 * b298
x99 = 74276090113881157415746668805265048388689348896340053085538858323990725272614 + 97056944475242597591058181683334185685720758464247098689315569130641735603795 * b297 + 19801200163713582726406163559622415536235096117468207879629951069605486090791 * b298 + 110722380281824483745186501036670387760068916164342143649580861112382178843410 * inner
y99 = (2*b299 - 1) * (115723871503540106577413883548461438697924140658509858551878321484003487487311 + 54900390271715291677794164473556995511305259602270690117901106171993876410190 * b297 + 99052128092281570493680362633609451968544453841780979787775719878911223781712 * b298 + 15048838540376860716607055624099835959079713461664213006322893711036310685050 * inner)
inner = b300 * b301
x100 = 69525195314593387525727056708021241185734282577764467795560727778047530354681 + 103044479314389879239347147468950394108293828485772548030172774073898816262115 * b300 + 15971378825601984777965460150170490140675597828192707563593292179784817451876 * b301 + 83847804289383709882752242762095799589375199907220089248734291311620072769890 * inner
y100 = (2*b302 - 1) * (12542337950775353373799176560840983926762447401534809319233506372648972332255 + 10782852152154477248367967042500342820775302396000775222109375478846307993271 * b300 + 23912030414149766317829814326512876868712119571737045561465584315995731066325 * b301 + 4050416513109494590657237777267316495538726337448891875540343412484782844449 * inner)
inner = b303 * b304
x101 = 77634474022054844601935472343867934034273372343307440074840554444868228710023 + 108670880760755699285785437827814518248242998505945859574154979413670938788376 * b303 + 5030073111648132123346438169226089581364552087067512623542994428353940862985 * b304 + 49027094321498203471478587069215748336416967375027693996736388289294236195097 * inner
y101 = (2*b305 - 1) * (90843111650576665333150415883123308383569028191922271073191217762276145018109 + 32417160457577934917740520798733683047105904788877571312641027139923538674725 * b303 + 4238502678978452431112755458742687521009444813545454168719188543870776460494 * b304 + 87680691334442159978883035630553167756156725642624509949672625393518775129415 * inner)
inner = b306 * b307
x102 = 63582086693668175323223025081115024765445477764577254521303264615725084822127 + 99124232512887013874556842444891554489191201621531432278390441265163936173650 * b306 + 98351018743566378765950084552895592894121185593564017812933494978756920706324 * b307 + 91225454226548341155799913757649540906397397210521267513019435894606702574849 * inner
y102 = (2*b308 - 1) * (32618928274119082140918625420109430595508629534589696003337122968280212686379 + 42275131607196010081896039052051251353051403442452364448930716555916764842092 * b306 + 3640046341714247006251017503932379333014348419173624439809220144263372338601 * b307 + 38188709271673249858588864100614188590784509075975794033214209403099090046364 * inner)
inner = b309 * b310
x103 = 82281364901431845903217023832682738818091301991431189033201004005727270509737 + 46067582840012500371145872150121218895379421253525348856806490299863578871473 * b309 + 111984487535051143164432970982930495054514061269279211689551854574002283754629 * b310 + 46395780501744788966290744303849277150400946679218108743934117089889849233142 * inner
y103 = (2*b311 - 1) * (106739679856666320928304826160251882513885588346492857054041137772078839170961 + 59770971008698836452830933835623218574519472782484067440711420964088617881997 * b309 + 57474532369575816534421183883671857404136064814797025596781405309177132380821 * b310 + 79134318953627264783687718677817350607256301242239860430287641680810438375300 * inner)
inner = b312 * b313
x104 = 5410099605980918299849333183684554541480047215097872717663874517521215213882 + 86077811454302335941793608064672815962341283695729211975049531164081239959318 * b312 + 113060008655465441969659540047835789534908823915956748306675983036935164688158 * b313 + 72639831635605475443322819401099103615392074433334220710884137188126822706748 * inner
y104 = (2*b314 - 1) * (14192174437796140206116787037368501944995341919389280420378680258887643999540 + 3076779679175559580506333048803101529310362564548554738186370112096890323880 * b312 + 30949809283855507523263629409320596565482214376718421151970090957377771236491 * b313 + 83915865902621635474881549763803667691462206971869371883418938896851639614435 * inner)
inner = b315 * b316
x105 = 35659788021604467375961892848862157058676140222828937721394959840382522839965 + 70703439562194995616047270641219348998425148745298722685532959104452629108853 * b315 + 78094260778122039044915060976477354320108917549976294197945228972783433202923 * b316 + 83510337788940732330986707194949992426817572116813395023524587846101379691143 * inner
y105 = (2*b317 - 1) * (41149416346257982412530827363534197088361095545630255604710185534593061466492 + 106793373161963895676115554831571705963983799080461841011580580617578865919723 * b315 + 50851005253158793375490610620321670833141309730433306731634041626829869192271 * b316 + 55710819354989874186030676444354112085574366381489272298735295102949925222744 * inner)
inner = b318 * b319
x106 = 34426332469550284570425031700905815141185765631359650564398594437400506453061 + 89777891308313041201615798685965194909865167100757149835314567986795973772235 * b318 + 53348232718506837474438259696942394474750436173283402573550699374412682565972 * b319 + 50520223931024646291377435951010449769425358319201962482371294094873591923070 * inner
y106 = (2*b320 - 1) * (48652040242771594358507914574270856783982374688168178074220754473367580110023 + 22748867120598742194569598867037281303562122849955159889779910145722330318950 * b318 + 71789485399800953327727920096934498371268586898130243900320008880337856730421 * b319 + 12293664137101133112366511122376796350785390823534483034668248428602879637862 * inner)
inner = b321 * b322
x107 = 81025389790793954109687738494405804534227589210966130490328780388035744862614 + 40498799703598159235185218266350220718248927869503806289128391821713451939219 * b321 + 65576524246380311135543301531568693231623759215893797029577731906919962275310 * b322 + 28616470693049481922496168625853276834005836022956783930351233572205960102518 * inner
y107 = (2*b323 - 1) * (23164293649920700228806940342506999964629362927360490799058481061289056299727 + 17107155854152242521579278608985722638973381949532836084115698062524650513003 * b321 + 71361987578213898095145790022141627032343982601856120105898168723769988604558 * b322 + 21024416349541622802882940925015579235187234348384900626310935004787815246020 * inner)
inner = b324 * b325
x108 = 74262640010049548972394903365774584778326607059969665170459111259322117476674 + 20157997605592211781762117494212877579844832446895658460048551504883188713379 * b324 + 19448659602220527600077058213038196741092741387267646313779978816284711759236 * b325 + 29227532322332660367695634609383352824366135932123886920198846105340825504772 * inner
y108 = (2*b326 - 1) * (47983296252160184687062288476770853037900358215089353496276853777030704698411 + 62973089902070594652103742429456589289031449365060115180764159450694441256570 * b324 + 93808695293344558661108014456110301800075076674237972357963927876039964183497 * b325 + 35051335875285803309923951742998799700929051976121517393176882183885819923153 * inner)
inner = b327 * b328
x109 = 110344629869256795543487087279927027745779449996619921938271859387841105657301 + 96699474546700992860421673943617039403109906652482750835089375431633255730777 * b327 + 19178711838420081520403060721836047432811948402989719380153607723846199870059 * b328 + 58452190940390350279354656749176542373478100731364155900341895465656812431291 * inner
y109 = (2*b329 - 1) * (103070750657433090120099392832444101179402553068470881034430104883519698495211 + 81991299372520353807012575215671292411514178106735248071822857069845241798963 * b327 + 71022792315254670525572313701854151621165923953906633727649337814343221549830 * b328 + 22094130894846752147001625403974624219577737631913100909754184593163744225569 * inner)
inner = b330 * b331
x110 = 14699454329083473399109272502838110258908864998610546885590078338444311680958 + 17525503409804247971670614176703015937687367399853953082992945233391968771494 * b330 + 23900826737432315107117734824488160681537796349246282332166617396579308099376 * b331 + 81834541805337719461784240544895991471164322291977200462808240728546896741572 * inner
y110 = (2*b332 - 1) * (114897460818818644112603851351943150992807354057385123232745369725496724976827 + 15208601055593095091693158774008693379485852024137211103231363249054026498906 * b330 + 106618425288281973520794404973008941494984445548322814259904418381608541466794 * b331 + 41978980776641645090474800385149226794460837746702751798966684108531718599985 * inner)
inner = b333 * b334
x111 = 46273200003224203361775008887655697818143389608281059392728307649056189946194 + 7419969601018952421615315096403891431657776769669078277292971137006118068670 * b333 + 75957681617401711653784137162334130474290824901696830091938195563514549532907 * b334 + 280054102245459281718598132326712973326496894368371878908559376795352502913 * inner
y111 = (2*b335 - 1) * (79611980617392336214772241203775735160182629633005879839039688102628084691857 + 17605169784524086085957515126313004531282326780049707938157975103472482694402 * b333 + 23633468285236386433536641305918499546004317898643172793070734101180760524335 * b334 + 90764662989137795694613342859167721230883535058159499188638763839729803406850 * inner)
inner = b336 * b337
x112 = 46850875095632025645275303559747158696104603251562016111123101943149301755533 + 7053200527656045071199109383669082399080983632529281569270022511206964823125 * b336 + 91081038344894458052253586019610222012284342385987075156048365781352562956929 * b337 + 15847411993281269043206688951942800896767872120587636086446473115789765058208 * inner
y112 = (2*b338 - 1) * (60407593443079253172747261676915286804034234508594543544076293718920185326030 + 11723217158713931518545052864757170210211243770553984791767336919174729651864 * b336 + 108893111823747374901471731124149913890918398093228977137264027170505137452146 * b337 + 15561540729424950735265191120550595517800974466590164193984208188382172252049 * inner)
inner = b339 * b340
x113 = 91237129738514613686539681973802254093593827831634403713822454909651870676113 + 28802849220765749214488241003907435349310866541348329485449262245776269584506 * b339 + 11561133663458552968762863296452024316938171857857835682640991209522330074438 * b340 + 62612256953701611726200088035289167374393161920156704861529737919697736860087 * inner
y113 = (2*b341 - 1) * (56465136689899088181749298238160216902103102674732970649032159324812336209974 + 42786233951074238133177201424877884498955888022354939077138766641859884780814 * b339 + 114273354760450307976760258474407929310313496380300121473788687768996698864379 * b340 + 102220821736182749191811298704956459981867857370298256541538140334852637932061 * inner)
inner = b342 * b343
x114 = 6131709739289104052607536837895220231537266989919132728163351187940901166579 + 99086387072241563886700239726579457184273915561184212364219489583356607210512 * b342 + 8789883824631586440738932750956371845561860157788829909863757533823639881986 * b343 + 113191343171866857390402540547932925251505030034602860763918480248944974012926 * inner
y114 = (2*b344 - 1) * (86545853477271829826185046417049842424442428357433275060719150726560822155495 + 3157793716578518902650487475169661745411698373698565730044724515843898513044 * b342 + 73192485974243543384459711466058557420613246110248764622503050845956576947012 * b343 + 113118376930547648646095290796489423385210015832474457455846390499341355365302 * inner)
inner = b345 * b346
x115 = 96159044544704496521033860615241858611993498166432122680225469978890928647084 + 2339473226612834704111472776762888261027264227329590410594189390740222097728 * b345 + 29053319810019773730746280061782025390002454034476853439726620944260230556397 * b346 + 18533274577878151716770733822418057788389673384063434019882479261496229341969 * inner
y115 = (2*b347 - 1) * (48143449112927107261064463313447965756855067975894789454473075746143275658530 + 33183986196381659307037599642287763208347404120118072457599902051899995978799 * b345 + 30980071955905371245426898155497357972258117890269200056374590847679050280647 * b346 + 51974224125898366413952897109535395294716155371351491868231336550711700458853 * inner)
inner = b348 * b349
x116 = 75415337571335664151074511417435881226931588840358883093009499988796700565836 + 9313309341640104920659407787596005646270563225959587862011106453330223737053 * b348 + 54625670611554099149394933886020143644620862503480532972175092866904108645639 * b349 + 32335981453134164794563719169116229039624752324341227278633151963065360451716 * inner
y116 = (2*b350 - 1) * (76319105580352808604591859558124039995577355858457295928468535458061508008627 + 48481585944641461887199408571027724968024839462246035986664709327461185440672 * b348 + 3379327855397119461041776821606735521432150704559207573225227175344744436272 * b349 + 249680855277904422664154442117474805742118729241657372279762323208586149126 * inner)
inner = b351 * b352
x117 = 17087684884950472309070854760651435621231773925130254172057750635980718582964 + 105406103477887410950709000034334903013047826388435742464090741290828762835316 * b351 + 39988586066888779188258451733675164323645879521268890595505589134902171237289 * b352 + 105818340713230368655540711403688875728594382641796176641630704774925308950749 * inner
y117 = (2*b353 - 1) * (33080074716783257674101240299116960630047999403023400563076060803397122082987 + 22310451540186345593671173524441702404526096552246510942409295841947841464484 * b351 + 91017483844563303445762504014861621952955263338119787374914826163038770482905 * b352 + 21879428232272417585411197598116980446580991650984926570789217401951209422506 * inner)
inner = b354 * b355
x118 = 9127282660801901646610388752691146767459912723180974989213446946411037638287 + 113700243978920488336660172544919122464208958017844299740007275818891215340806 * b354 + 30528381481745380965035521937239595279794487081400411997673583351965103440810 * b355 + 84685850776023743139702772616823045330857454952756845509220403998505184337959 * inner
y118 = (2*b356 - 1) * (7500737659027974440936064691511598480981210007039935652703901125791526579571 + 60572138131003109868226817224099500787286589802522727153194632206008939317780 * b354 + 35314864876748922042361802792095572037899579512144718892748298156102874636555 * b355 + 84186732862783501269890433914393241999403678620585042783810757907469400913992 * inner)
inner = b357 * b358
x119 = 77029659783146468519135561408690591064539764892365120767510216118078541882548 + 11236307047363804900142986662894169410888487132701061936848995536384488506578 * b357 + 95653593674263950892124569784129126975945951995453735455809001830642865615366 * b358 + 9061337413978706879736988768959559887083164219418253658207131358932745994542 * inner
y119 = (2*b359 - 1) * (3230345815328054139676610282366859606031204130471441549861441170166491661159 + 108702417197800053566854739879631080330121439117062426846018764752704061301362 * b357 + 79301375948151083060968998364217748372405379823375744927435560546086306720403 * b358 + 113455144285946349068312456345777093873320121805101884460101390645070086655218 * inner)
inner = b360 * b361
x120 = 102491322715020984899899151577540680177325588485836316536927709866942509490064 + 45598371377139751205198883120072302660962005053156427144317149004107097078863 * b360 + 41064659565439784454586110530766952321327889035091443061044372729980838961226 * b361 + 69763326569268260184613521188565999695462507899385954944641019298091728580243 * inner
y120 = (2*b362 - 1) * (87653043513874930395828201172352846006868043702697850269440656711718804849637 + 92411474962019221572027728949149348836241598955261721909334667412299029176645 * b360 + 55758421136616682211249040054237603648003901183224366720801294657637322874959 * b361 + 4905723096357557370757997946259189470321286300927487884914596388763605950807 * inner)
inner = b363 * b364
x121 = 64579326602028590439301460548379530109057961832442893814617388146789717869163 + 29639660951197011499376797237690135237299032443206436445367095474509727101133 * b363 + 4959069172898548534074844313021279782445450601170494707375751587865181865980 * b364 + 9441721771629981121243236334037139128047436811676341641286049753028227527900 * inner
y121 = (2*b365 - 1) * (82811628522330779878810346254413504862445307182070563526866470658476912620324 + 54223812019138165189244496675121351615942185270308894816125599925291426067332 * b363 + 27508624457795480443362055866678540450281128365195563743333188688938426518243 * b364 + 68287377803510154995950289397343387167976911802601294261608221425808464284094 * inner)
inner = b366 * b367
x122 = 68166095345525863024881961147778255273263997363328909363746927405007697356144 + 38588897717386837915451633703210245157920277952544420774978710523684562078902 * b366 + 110046463463681853392508457080199460003058519072736862265138862670941797246262 * b367 + 42611505549572926227784446750465399067545190703258853260313974460895488416039 * inner
y122 = (2*b368 - 1) * (112894523312907865384076146565409671868140328551164414341029948057155462944487 + 112748339635480178331133300587190141745839799876100582211522931050248223971967 * b366 + 88500981075819799925608707970893825666703632062236889451114443267704591886370 * b367 + 70090825247826254153499421434363069639393441790404062942210829653900623959584 * inner)
inner = b369 * b370
x123 = 74556223575090444758031484807576539410216234699863588228115341423205843505032 + 41652658408348400192031773164147847003661863295756007506623465989681040114755 * b369 + 107648607439120929608606834160219840675501467789823148053226705947719572104568 * b370 + 75432280605614010351890923133647859112347780027199479844525743904506673753705 * inner
y123 = (2*b371 - 1) * (35214536942201457055934167295195495997800979785598964301636574290440218244381 + 36922354089867724702243500919600794978322536099014712465849213308096551784236 * b369 + 75521284794505000290797796546020304111387582606950162422666023973357644645999 * b370 + 4715956593571737822196960132730842371783209274163013994939064525027538921814 * inner)
inner = b372 * b373
x124 = 31447719769562470924100792174405493128217235875380444744189732584400575732957 + 67751670178642090085677182577116727636476692541906169847833773809994238078340 * b372 + 19199239533854671286526666640844217303136045782597354235603358521760139123461 * b373 + 22773392820407732069479493253288055536600418901510509734998927872488885787481 * inner
y124 = (2*b374 - 1) * (76631257067800555210597244611348949324221427157676243305171868675577665993707 + 30011946269918056917392352142246798883088167775018352150804318227919928068059 * b372 + 112355891161498225170666501731893768399588157163600805577117881470088221263456 * b373 + 73196765286943886063680303698635790486378232443993288617422206917299599451958 * inner)
inner = b375 * b376
x125 = 54509141844276249588194710860606369758129388959339218172635665357307968824739 + 45030353900413682934517058059541876775545930961427163829337025840155771027616 * b375 + 88094427837296743385415614294516527320148466956226950517732936245764648174736 * b376 + 115057854621037538339090759127862870095032568563820396751999727734220861955764 * inner
y125 = (2*b377 - 1) * (47336943136690121496489609605976045741355690839497936602708266051106668885444 + 75014039831360579904018068751463848416448328568878086522528760581400894798058 * b375 + 59769321819749777759861229010522868339232628590475537520447324815396379749126 * b376 + 6970872102417472299937178104726889442426599089194261362276659040613326679673 * inner)
inner = b378 * b379
x126 = 90214948198676594046225935477205058498509304479731966630407553134199316414488 + 60175880910633626099585749584786723245736289734317276093197328914787240957013 * b378 + 110411851712552852858948724948916807245390703315880764345525838511648272468522 * b379 + 722276713446220880804653121719384803125630186270654714293134502482628294817 * inner
y126 = (2*b380 - 1) * (108342131666255657177224116594404144699863373597849974726431192680565491913773 + 74647094615610696550110371637665495766829939707688974605526081568184702029930 * b378 + 57518927860615221451936572971646279801174984292508684906181680122617541683183 * b379 + 114053296674138582331352777526822513240581173745581829430847564605855234515934 * inner)
inner = b381 * b382
x127 = 9060213279229620120881731574168284801170133053946219698532751583081986771542 + 38777351294963114497230008677759679998611401776744325045592631861113122249246 * b381 + 87712939443618813338211344407322937171084979430688765504180749981540946071554 * b382 + 40651034511654779840092070818926790800998783018628366145554566157394818266681 * inner
y127 = (2*b383 - 1) * (87526379191950662776228570081240124492855317354473388142717744439299727129742 + 46003770274803299950734853084167798816034561578607022166918581547491359984511 * b381 + 115394339990053129346647137969159056657472417728606214011806714024079197367989 * b382 + 105476016064212802485067773912977810748248810192542531509324969127259345050969 * inner)
x = 69627237115084426473972105393398164831069673854680806477224292445254830213484
y = 90324293919367094850449888800396360877973162067667379728995768737826580385872
xd = x0 - x
yd = y0 - y
lambda = yd / xd
x = lambda*lambda - 2*x0 + xd
y = lambda*(x0 - x) - y0
xd = x1 - x
yd = y1 - y
lambda = yd / xd
x = lambda*lambda - 2*x1 + xd
y = lambda*(x1 - x) - y1
xd = x2 - x
yd = y2 - y
lambda = yd / xd
x = lambda*lambda - 2*x2 + xd
y = lambda*(x2 - x) - y2
xd = x3 - x
yd = y3 - y
lambda = yd / xd
x = lambda*lambda - 2*x3 + xd
y = lambda*(x3 - x) - y3
xd = x4 - x
yd = y4 - y
lambda = yd / xd
x = lambda*lambda - 2*x4 + xd
y = lambda*(x4 - x) - y4
xd = x5 - x
yd = y5 - y
lambda = yd / xd
x = lambda*lambda - 2*x5 + xd
y = lambda*(x5 - x) - y5
xd = x6 - x
yd = y6 - y
lambda = yd / xd
x = lambda*lambda - 2*x6 + xd
y = lambda*(x6 - x) - y6
xd = x7 - x
yd = y7 - y
lambda = yd / xd
x = lambda*lambda - 2*x7 + xd
y = lambda*(x7 - x) - y7
xd = x8 - x
yd = y8 - y
lambda = yd / xd
x = lambda*lambda - 2*x8 + xd
y = lambda*(x8 - x) - y8
xd = x9 - x
yd = y9 - y
lambda = yd / xd
x = lambda*lambda - 2*x9 + xd
y = lambda*(x9 - x) - y9
xd = x10 - x
yd = y10 - y
lambda = yd / xd
x = lambda*lambda - 2*x10 + xd
y = lambda*(x10 - x) - y10
xd = x11 - x
yd = y11 - y
lambda = yd / xd
x = lambda*lambda - 2*x11 + xd
y = lambda*(x11 - x) - y11
xd = x12 - x
yd = y12 - y
lambda = yd / xd
x = lambda*lambda - 2*x12 + xd
y = lambda*(x12 - x) - y12
xd = x13 - x
yd = y13 - y
lambda = yd / xd
x = lambda*lambda - 2*x13 + xd
y = lambda*(x13 - x) - y13
xd = x14 - x
yd = y14 - y
lambda = yd / xd
x = lambda*lambda - 2*x14 + xd
y = lambda*(x14 - x) - y14
xd = x15 - x
yd = y15 - y
lambda = yd / xd
x = lambda*lambda - 2*x15 + xd
y = lambda*(x15 - x) - y15
xd = x16 - x
yd = y16 - y
lambda = yd / xd
x = lambda*lambda - 2*x16 + xd
y = lambda*(x16 - x) - y16
xd = x17 - x
yd = y17 - y
lambda = yd / xd
x = lambda*lambda - 2*x17 + xd
y = lambda*(x17 - x) - y17
xd = x18 - x
yd = y18 - y
lambda = yd / xd
x = lambda*lambda - 2*x18 + xd
y = lambda*(x18 - x) - y18
xd = x19 - x
yd = y19 - y
lambda = yd / xd
x = lambda*lambda - 2*x19 + xd
y = lambda*(x19 - x) - y19
xd = x20 - x
yd = y20 - y
lambda = yd / xd
x = lambda*lambda - 2*x20 + xd
y = lambda*(x20 - x) - y20
xd = x21 - x
yd = y21 - y
lambda = yd / xd
x = lambda*lambda - 2*x21 + xd
y = lambda*(x21 - x) - y21
xd = x22 - x
yd = y22 - y
lambda = yd / xd
x = lambda*lambda - 2*x22 + xd
y = lambda*(x22 - x) - y22
xd = x23 - x
yd = y23 - y
lambda = yd / xd
x = lambda*lambda - 2*x23 + xd
y = lambda*(x23 - x) - y23
xd = x24 - x
yd = y24 - y
lambda = yd / xd
x = lambda*lambda - 2*x24 + xd
y = lambda*(x24 - x) - y24
xd = x25 - x
yd = y25 - y
lambda = yd / xd
x = lambda*lambda - 2*x25 + xd
y = lambda*(x25 - x) - y25
xd = x26 - x
yd = y26 - y
lambda = yd / xd
x = lambda*lambda - 2*x26 + xd
y = lambda*(x26 - x) - y26
xd = x27 - x
yd = y27 - y
lambda = yd / xd
x = lambda*lambda - 2*x27 + xd
y = lambda*(x27 - x) - y27
xd = x28 - x
yd = y28 - y
lambda = yd / xd
x = lambda*lambda - 2*x28 + xd
y = lambda*(x28 - x) - y28
xd = x29 - x
yd = y29 - y
lambda = yd / xd
x = lambda*lambda - 2*x29 + xd
y = lambda*(x29 - x) - y29
xd = x30 - x
yd = y30 - y
lambda = yd / xd
x = lambda*lambda - 2*x30 + xd
y = lambda*(x30 - x) - y30
xd = x31 - x
yd = y31 - y
lambda = yd / xd
x = lambda*lambda - 2*x31 + xd
y = lambda*(x31 - x) - y31
xd = x32 - x
yd = y32 - y
lambda = yd / xd
x = lambda*lambda - 2*x32 + xd
y = lambda*(x32 - x) - y32
xd = x33 - x
yd = y33 - y
lambda = yd / xd
x = lambda*lambda - 2*x33 + xd
y = lambda*(x33 - x) - y33
xd = x34 - x
yd = y34 - y
lambda = yd / xd
x = lambda*lambda - 2*x34 + xd
y = lambda*(x34 - x) - y34
xd = x35 - x
yd = y35 - y
lambda = yd / xd
x = lambda*lambda - 2*x35 + xd
y = lambda*(x35 - x) - y35
xd = x36 - x
yd = y36 - y
lambda = yd / xd
x = lambda*lambda - 2*x36 + xd
y = lambda*(x36 - x) - y36
xd = x37 - x
yd = y37 - y
lambda = yd / xd
x = lambda*lambda - 2*x37 + xd
y = lambda*(x37 - x) - y37
xd = x38 - x
yd = y38 - y
lambda = yd / xd
x = lambda*lambda - 2*x38 + xd
y = lambda*(x38 - x) - y38
xd = x39 - x
yd = y39 - y
lambda = yd / xd
x = lambda*lambda - 2*x39 + xd
y = lambda*(x39 - x) - y39
xd = x40 - x
yd = y40 - y
lambda = yd / xd
x = lambda*lambda - 2*x40 + xd
y = lambda*(x40 - x) - y40
xd = x41 - x
yd = y41 - y
lambda = yd / xd
x = lambda*lambda - 2*x41 + xd
y = lambda*(x41 - x) - y41
xd = x42 - x
yd = y42 - y
lambda = yd / xd
x = lambda*lambda - 2*x42 + xd
y = lambda*(x42 - x) - y42
xd = x43 - x
yd = y43 - y
lambda = yd / xd
x = lambda*lambda - 2*x43 + xd
y = lambda*(x43 - x) - y43
xd = x44 - x
yd = y44 - y
lambda = yd / xd
x = lambda*lambda - 2*x44 + xd
y = lambda*(x44 - x) - y44
xd = x45 - x
yd = y45 - y
lambda = yd / xd
x = lambda*lambda - 2*x45 + xd
y = lambda*(x45 - x) - y45