forked from MinaProtocol/snark-challenge-prover-reference
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresultref
730 lines (730 loc) · 14.8 KB
/
resultref
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
(enter) Call to r1cs_gg_ppzksnark_prover [ ] (1560926772.0522s x0.00 from start)
(enter) Compute the proof [ ] (1560926772.0522s x0.00 from start)
(enter) Multi-exponentiations [ ] (1560926772.0522s x0.00 from start)
b31177c9e5d1ee672bf014e491e4ef2315f6692a208b583f3f4c5b944eafe83363464f123d57ddc4e839fb1277642b49dbb394417635123ae6fcfbb9dd77c877f7cad452e4432c98a6a3b769b95ab58e66a7d181f42674d1e286d1019877bc021564b5a2161adcf7172d482b757d52a7c172b3d552da989d2ae86d259ad579e33612abc23568429f38ae936b418eac36e6c5442a377b799cd0cba428d960c1cf73cf331fdd94e719514165e6954818e7d0f1198d34972b3700e29a568c4bf64cdbb37d415ac1283a46da95209eb98abe86a7899ad1214af6a1ae350b7e650647c9c4a971e9787610762c1417355514bd53c07dd3c1ac8ee48e1cff6a3eff4d3ca744864be449e2d97f696ac2eb68f9553d227b4600e29a568c4bf64cdbb37d415ac1283a46da95209eb98abe86a7899ad1214af6a1ae350b7e650647c9c4a971e9787610762c1417355514bd53c07dd3c1ac8ee48e1cff6a3eff4d3ca744864be449e2d97f696ac2eb68f9553d227b4600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000calc do_calc_np_sigma
nelts 5
b31177c9e5d1ee672bf014e491e4ef2315f6692a208b583f3f4c5b944eafe83363464f123d57ddc4e839fb1277642b49dbb394417635123ae6fcfbb9dd77c877f7cad452e4432c98a6a3b769b95ab58e66a7d181f42674d1e286d1019877bc021564b5a2161adcf7172d482b757d52a7c172b3d552da989d2ae86d259ad579e33612abc23568429f38ae936b418eac36e6c5442a377b799cd0cba428d960c1cf73cf331fdd94e719514165e6954818e7d0f1198d34972b3700e29a568c4bf64cdbb37d415ac1283a46da95209eb98abe86a7899ad1214af6a1ae350b7e650647c9c4a971e9787610762c1417355514bd53c07dd3c1ac8ee48e1cff6a3eff4d3ca744864be449e2d97f696ac2eb68f9553d227b4600e29a568c4bf64cdbb37d415ac1283a46da95209eb98abe86a7899ad1214af6a1ae350b7e650647c9c4a971e9787610762c1417355514bd53c07dd3c1ac8ee48e1cff6a3eff4d3ca744864be449e2d97f696ac2eb68f9553d227b4600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
dump [0]=65f9fae6
dump [1]=5e1a8a0c
dump [2]=43123655
dump [3]=958726fa
dump [4]=13daf84d
dump [5]=d24f3944
dump [6]=bfa8724f
dump [7]=6a2eac4e
dump [8]=a14b88e6
dump [9]=d53455f2
dump [10]=5f7df0fb
dump [11]=8e05a68b
dump [12]=9925cacf
dump [13]=2d470eb9
dump [14]=1af3f8e
dump [15]=3c892d6c
dump [16]=6ad39909
dump [17]=985ad4d3
dump [18]=70b593b7
dump [19]=15112611
dump [20]=415609d4
dump [21]=903072a8
dump [22]=7ab1cc85
dump [23]=5cfd
dump [0]=6c122ded
dump [1]=b99b939e
dump [2]=4fcfe733
dump [3]=400fa905
dump [4]=d654c3e1
dump [5]=c3737814
dump [6]=811d5843
dump [7]=98e0fdb7
dump [8]=dbe63967
dump [9]=bdd87889
dump [10]=a2b39dc5
dump [11]=f51ceec0
dump [12]=93b77e0
dump [13]=381ccfe9
dump [14]=f60286e4
dump [15]=3a5566e7
dump [16]=6b95cf21
dump [17]=d8886452
dump [18]=b3ba1cc9
dump [19]=84f57efd
dump [20]=def0bc13
dump [21]=eda1ab05
dump [22]=2de8c3b0
dump [23]=1680c
dump [0]=c6ac17c8
dump [1]=da7b86a1
dump [2]=6cfafd1
dump [3]=201e913b
dump [4]=a29c631b
dump [5]=f2573c6c
dump [6]=bde63316
dump [7]=c422b9b8
dump [8]=fd1b037f
dump [9]=a1ebdc66
dump [10]=4f824267
dump [11]=eb0e4e25
dump [12]=e216d75b
dump [13]=2d690fc
dump [14]=9d1436c4
dump [15]=f2c44e4e
dump [16]=6891eeeb
dump [17]=df75c1bc
dump [18]=541a1705
dump [19]=9d7e6074
dump [20]=c9d35dcf
dump [21]=f8a82217
dump [22]=3e0f4911
dump [23]=130d8
dump [0]=32d43df2
dump [1]=52fc6ca6
dump [2]=1ef4830a
dump [3]=81989af3
dump [4]=42450327
dump [5]=8752b1f1
dump [6]=296c45fa
dump [7]=8d5ea0fe
dump [8]=eae14def
dump [9]=fe007315
dump [10]=eefa76fd
dump [11]=498614bd
dump [12]=348459b4
dump [13]=ccd7420c
dump [14]=7474e5ff
dump [15]=931cce29
dump [16]=4ee20e3b
dump [17]=134aafa1
dump [18]=ecba2d38
dump [19]=5be6e9f2
dump [20]=3dff5e31
dump [21]=95ae6625
dump [22]=3f09bbe7
dump [23]=529a
dump [0]=b4d8a913
dump [1]=bf9bf197
dump [2]=d7694747
dump [3]=dbb00b64
dump [4]=fbad69dd
dump [5]=eac8bf
dump [6]=f2565d3b
dump [7]=4cde51ae
dump [8]=b85ab2
dump [9]=7cd5b140
dump [10]=71fff2e2
dump [11]=c2e5f7a4
dump [12]=7c685b2d
dump [13]=31125b73
dump [14]=3f9c3b99
dump [15]=e6894cbf
dump [16]=1e23d9c8
dump [17]=8ead711c
dump [18]=78cfd582
dump [19]=d35da39
dump [20]=448812d0
dump [21]=f7b18766
dump [22]=53bcf28b
dump [23]=177cb
dump [0]=32e2b920
dump [1]=9001e544
dump [2]=3107e2a8
dump [3]=b214db4a
dump [4]=edc0113d
dump [5]=b1ce11fb
dump [6]=dc27b01
dump [7]=c4dd6f72
dump [8]=af279d34
dump [9]=dda448a7
dump [10]=8f5d2143
dump [11]=9bc7b5bd
dump [12]=a6555ef2
dump [13]=8c3747a7
dump [14]=71197cd7
dump [15]=f26fd94e
dump [16]=e4655cf2
dump [17]=794322cf
dump [18]=f2fd9b30
dump [19]=a5dc833b
dump [20]=74215ade
dump [21]=4704fda2
dump [22]=eb80df63
dump [23]=f774
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
dump [0]=120ee5ee
dump [1]=46e181ef
dump [2]=988fde8e
dump [3]=52fe108f
dump [4]=4127f64b
dump [5]=59359ed7
dump [6]=debf70b6
dump [7]=e02b2a05
dump [8]=c023fe30
dump [9]=26a3b77c
dump [10]=5a873650
dump [11]=fcfb4f4
dump [12]=a994d42d
dump [13]=c6aaccb7
dump [14]=81df8c9
dump [15]=6f6ef8da
dump [16]=620e2df4
dump [17]=92a5a95c
dump [18]=818419c2
dump [19]=628bfbfa
dump [20]=b64878c8
dump [21]=16f841d2
dump [22]=131c6482
dump [23]=8bb0
dump [0]=6630c266
dump [1]=5674b9e6
dump [2]=c0c40d62
dump [3]=53deb54a
dump [4]=259b5241
dump [5]=bf8f0d88
dump [6]=9bb430c2
dump [7]=6caf70a0
dump [8]=47e7aef8
dump [9]=4de30176
dump [10]=96bcaa39
dump [11]=6ca5d8f9
dump [12]=36229f86
dump [13]=7b9a4863
dump [14]=a43473fd
dump [15]=28de99d6
dump [16]=a39952cb
dump [17]=98efeaff
dump [18]=f7dd88d
dump [19]=9b0b7cbf
dump [20]=73b2fc3d
dump [21]=d53371c1
dump [22]=d1dd7a80
dump [23]=f811
dump [0]=27eb703e
dump [1]=3f988c24
dump [2]=aaf9a0f0
dump [3]=d4c79bd0
dump [4]=69e0272b
dump [5]=be3723ef
dump [6]=2e9f7a77
dump [7]=375f5922
dump [8]=d764adcb
dump [9]=b75541f0
dump [10]=d503c269
dump [11]=152c40b6
dump [12]=d520dd4f
dump [13]=91a03da9
dump [14]=517b7855
dump [15]=3da32314
dump [16]=5809d491
dump [17]=5c163059
dump [18]=c99c66e0
dump [19]=8b82a454
dump [20]=c8b70fc9
dump [21]=473392d1
dump [22]=81e758d8
dump [23]=13940
dump [0]=120ee5ee
dump [1]=46e181ef
dump [2]=988fde8e
dump [3]=52fe108f
dump [4]=4127f64b
dump [5]=59359ed7
dump [6]=debf70b6
dump [7]=e02b2a05
dump [8]=c023fe30
dump [9]=26a3b77c
dump [10]=5a873650
dump [11]=fcfb4f4
dump [12]=a994d42d
dump [13]=c6aaccb7
dump [14]=81df8c9
dump [15]=6f6ef8da
dump [16]=620e2df4
dump [17]=92a5a95c
dump [18]=818419c2
dump [19]=628bfbfa
dump [20]=b64878c8
dump [21]=16f841d2
dump [22]=131c6482
dump [23]=8bb0
dump [0]=6630c266
dump [1]=5674b9e6
dump [2]=c0c40d62
dump [3]=53deb54a
dump [4]=259b5241
dump [5]=bf8f0d88
dump [6]=9bb430c2
dump [7]=6caf70a0
dump [8]=47e7aef8
dump [9]=4de30176
dump [10]=96bcaa39
dump [11]=6ca5d8f9
dump [12]=36229f86
dump [13]=7b9a4863
dump [14]=a43473fd
dump [15]=28de99d6
dump [16]=a39952cb
dump [17]=98efeaff
dump [18]=f7dd88d
dump [19]=9b0b7cbf
dump [20]=73b2fc3d
dump [21]=d53371c1
dump [22]=d1dd7a80
dump [23]=f811
dump [0]=27eb703e
dump [1]=3f988c24
dump [2]=aaf9a0f0
dump [3]=d4c79bd0
dump [4]=69e0272b
dump [5]=be3723ef
dump [6]=2e9f7a77
dump [7]=375f5922
dump [8]=d764adcb
dump [9]=b75541f0
dump [10]=d503c269
dump [11]=152c40b6
dump [12]=d520dd4f
dump [13]=91a03da9
dump [14]=517b7855
dump [15]=3da32314
dump [16]=5809d491
dump [17]=5c163059
dump [18]=c99c66e0
dump [19]=8b82a454
dump [20]=c8b70fc9
dump [21]=473392d1
dump [22]=81e758d8
dump [23]=13940
dump [0]=62d2faea
dump [1]=292a4d59
dump [2]=c6c0de46
dump [3]=8ee5d31
dump [4]=e52c91ba
dump [5]=1bbf6658
dump [6]=5725480d
dump [7]=3f25803a
dump [8]=308050d
dump [9]=272f8833
dump [10]=b5640cc
dump [11]=3d722ed9
dump [12]=cf3e9ef1
dump [13]=273364d0
dump [14]=f6cabc6
dump [15]=dd16e850
dump [16]=548ea91c
dump [17]=963a9052
dump [18]=edbc22f3
dump [19]=3b25391e
dump [20]=5a5a1ded
dump [21]=80703c50
dump [22]=d7417ecd
dump [23]=17fe7
dump [0]=28b29ed4
dump [1]=36a09891
dump [2]=72d585c1
dump [3]=2e7ef296
dump [4]=9f38be1b
dump [5]=61a2e79a
dump [6]=93550cfc
dump [7]=714f795f
dump [8]=916d9a37
dump [9]=e3d4deb0
dump [10]=5997ee74
dump [11]=b6cec32b
dump [12]=48fc64d4
dump [13]=7c00b150
dump [14]=fb86f06f
dump [15]=2672e207
dump [16]=1329f942
dump [17]=94578d54
dump [18]=db7a689b
dump [19]=b2703fd3
dump [20]=3dca3064
dump [21]=14da45a3
dump [22]=dd95b191
dump [23]=d5d9
dump [0]=20ed37e3
dump [1]=d9913476
dump [2]=2dd94f26
dump [3]=db56c74b
dump [4]=468ea313
dump [5]=d6611d03
dump [6]=cfade058
dump [7]=b42491af
dump [8]=50acbf98
dump [9]=db8c4a5b
dump [10]=fec8e7db
dump [11]=4773a883
dump [12]=59497471
dump [13]=f9baa805
dump [14]=e5b5a1d7
dump [15]=83f0d069
dump [16]=1800dbc0
dump [17]=790f4238
dump [18]=de7578ce
dump [19]=d64f8afe
dump [20]=ba9b6cb9
dump [21]=f23787ec
dump [22]=41dc235b
dump [23]=166db
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
dump [0]=920d547a
dump [1]=4490b549
dump [2]=79364b2e
dump [3]=522925ab
dump [4]=9606ca7d
dump [5]=6747024b
dump [6]=75b0ab3d
dump [7]=4e4921f5
dump [8]=fc0dd562
dump [9]=c368864c
dump [10]=d4277909
dump [11]=fa7d07b3
dump [12]=32a46df6
dump [13]=d38898a8
dump [14]=bde91518
dump [15]=d28b2a4d
dump [16]=ec5a4f26
dump [17]=649627f7
dump [18]=259258e7
dump [19]=1383112a
dump [20]=dabf7779
dump [21]=8d660c5e
dump [22]=14103bed
dump [23]=16818
dump [0]=b299137d
dump [1]=9bf01862
dump [2]=7735de6f
dump [3]=92105297
dump [4]=63e56887
dump [5]=9227ea59
dump [6]=baf9f9b0
dump [7]=c26a07e7
dump [8]=df356080
dump [9]=c4ed9aab
dump [10]=f70a7752
dump [11]=95f47b9f
dump [12]=9ebf530b
dump [13]=f6a312e5
dump [14]=5860f986
dump [15]=a2c1e610
dump [16]=2c005a53
dump [17]=fdac1b85
dump [18]=aee9082b
dump [19]=2b8cb4bb
dump [20]=909b2dcf
dump [21]=cade762
dump [22]=5e96d467
dump [23]=1993c
dump [0]=3d471598
dump [1]=446117b5
dump [2]=19509bb9
dump [3]=82fb4fd4
dump [4]=2f0ccfb5
dump [5]=33b5291f
dump [6]=13670e1b
dump [7]=d6952986
dump [8]=45611f3d
dump [9]=c76f088
dump [10]=44a34f8d
dump [11]=9688e
dump [12]=b9db7ad4
dump [13]=4867a8c0
dump [14]=c0e7665b
dump [15]=37b0b216
dump [16]=76bb78d9
dump [17]=4ea0ec81
dump [18]=73a42704
dump [19]=d8297dc3
dump [20]=8dd89ad0
dump [21]=ce4cc2e9
dump [22]=44467e70
dump [23]=675e
dump [0]=c97711b3
dump [1]=67eed1e5
dump [2]=e414f02b
dump [3]=efe40109
dump [4]=69f61523
dump [5]=588b202a
dump [6]=5b4c3f3f
dump [7]=e8af4e94
dump [8]=4f466333
dump [9]=dd573d12
dump [10]=fb39e8c4
dump [11]=42762701
dump [12]=39bb9db4
dump [13]=35760144
dump [14]=fce63a12
dump [15]=77ddb9fb
dump [16]=cf777c8
dump [17]=442e45ad
dump [18]=6a8ac932
dump [19]=b969b703
dump [20]=668eb55a
dump [21]=1f187d0a
dump [22]=1e4d6742
dump [23]=16d28
dump [0]=c829c6e1
dump [1]=dc63658f
dump [2]=4c0a9835
dump [3]=112c2314
dump [4]=3df31c09
dump [5]=918b954c
dump [6]=f4d02710
dump [7]=9708c798
dump [8]=1329b3d4
dump [9]=a1a82f44
dump [10]=43244111
dump [11]=8f7d6468
dump [12]=fb5f6bf9
dump [13]=9e5666ef
dump [14]=faf3d285
dump [15]=1ac6386a
dump [16]=81d41cd2
dump [17]=b740f5e2
dump [18]=fedb6ac2
dump [19]=9898b0a8
dump [20]=1da8f48c
dump [21]=491f8a3b
dump [22]=6be13183
dump [23]=16894
dump [0]=d9dc6f42
dump [1]=98a8ecab
dump [2]=5a034686
dump [3]=91cd31c6
dump [4]=cd14572e
dump [5]=97c3e4a0
dump [6]=c788b601
dump [7]=79589819
dump [8]=2108976f
dump [9]=ed269c94
dump [10]=cf031d68
dump [11]=1e0f4d8a
dump [12]=13338559
dump [13]=320c3bb7
dump [14]=d2f00a62
dump [15]=598b4302
dump [16]=fd8ca621
dump [17]=4074c9cb
dump [18]=3865e88c
dump [19]=fa47edb
dump [20]=1ff9a195
dump [21]=95455fb3
dump [22]=9ec8e242
dump [23]=7b47
dump [0]=920d547a
dump [1]=4490b549
dump [2]=79364b2e
dump [3]=522925ab
dump [4]=9606ca7d
dump [5]=6747024b
dump [6]=75b0ab3d
dump [7]=4e4921f5
dump [8]=fc0dd562
dump [9]=c368864c
dump [10]=d4277909
dump [11]=fa7d07b3
dump [12]=32a46df6
dump [13]=d38898a8
dump [14]=bde91518
dump [15]=d28b2a4d
dump [16]=ec5a4f26
dump [17]=649627f7
dump [18]=259258e7
dump [19]=1383112a
dump [20]=dabf7779
dump [21]=8d660c5e
dump [22]=14103bed
dump [23]=16818
dump [0]=b299137d
dump [1]=9bf01862
dump [2]=7735de6f
dump [3]=92105297
dump [4]=63e56887
dump [5]=9227ea59
dump [6]=baf9f9b0
dump [7]=c26a07e7
dump [8]=df356080
dump [9]=c4ed9aab
dump [10]=f70a7752
dump [11]=95f47b9f
dump [12]=9ebf530b
dump [13]=f6a312e5
dump [14]=5860f986
dump [15]=a2c1e610
dump [16]=2c005a53
dump [17]=fdac1b85
dump [18]=aee9082b
dump [19]=2b8cb4bb
dump [20]=909b2dcf
dump [21]=cade762
dump [22]=5e96d467
dump [23]=1993c
dump [0]=3d471598
dump [1]=446117b5
dump [2]=19509bb9
dump [3]=82fb4fd4
dump [4]=2f0ccfb5
dump [5]=33b5291f
dump [6]=13670e1b
dump [7]=d6952986
dump [8]=45611f3d
dump [9]=c76f088
dump [10]=44a34f8d
dump [11]=9688e
dump [12]=b9db7ad4
dump [13]=4867a8c0
dump [14]=c0e7665b
dump [15]=37b0b216
dump [16]=76bb78d9
dump [17]=4ea0ec81
dump [18]=73a42704
dump [19]=d8297dc3
dump [20]=8dd89ad0
dump [21]=ce4cc2e9
dump [22]=44467e70
dump [23]=675e
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
result is
dump [0]=ca3c38b3
dump [1]=4c60ed5e
dump [2]=bbf0768e
dump [3]=ff92045b
dump [4]=aad2e79
dump [5]=a0e6b55c
dump [6]=70e6cd12
dump [7]=11b0dcd0
dump [8]=2bc95e3
dump [9]=7bc6ecb7
dump [10]=bab4d7e0
dump [11]=54c78f6b
dump [12]=2b038330
dump [13]=8914ead
dump [14]=d785140b
dump [15]=7695caf0
dump [16]=31fec0a3
dump [17]=f2fd4959
dump [18]=24c134ae
dump [19]=65808961
dump [20]=6ec5c4fc
dump [21]=1fa07dab
dump [22]=1bac9c66
dump [23]=19390
dump [0]=fd20bd9f
dump [1]=17eccdf0
dump [2]=4a7ea655
dump [3]=b63bcb11
dump [4]=987affb4
dump [5]=46f794ab
dump [6]=22d3fb51
dump [7]=6109f7b5
dump [8]=dd2f27df
dump [9]=760ea53
dump [10]=c9a0dbb0
dump [11]=dbd6a4a7
dump [12]=7a60286d
dump [13]=73952521
dump [14]=fe4a47d8
dump [15]=9aacf86d
dump [16]=72f346cf
dump [17]=77b62740
dump [18]=42440245
dump [19]=35980422
dump [20]=444fdfd5
dump [21]=9b8f4df8
dump [22]=a079981e
dump [23]=1953
dump [0]=4cf186dd
dump [1]=b9dd0a77
dump [2]=82128df8
dump [3]=3510300e
dump [4]=3f4c8456
dump [5]=3827ea58
dump [6]=94212dd3
dump [7]=b4111480
dump [8]=fc349c2e
dump [9]=fde3ea3a
dump [10]=f3839f6b
dump [11]=c3bfc5f9
dump [12]=e057f362
dump [13]=2ac08d3f
dump [14]=21d1771c
dump [15]=55df580c
dump [16]=e9ff37da
dump [17]=a7a5773
dump [18]=601315d5
dump [19]=abc3374c
dump [20]=8f16aecc
dump [21]=4db656a4
dump [22]=26504aca
dump [23]=18784
final result x,y,z:
0193901bac9c661fa07dab6ec5c4fc6580896124c134aef2fd495931fec0a37695caf0d78514b8914ead2b3833054c78f6bbab4d7e07bc6ecb72bc95e311b0dcd070e6cd12a0e6b55caad2e79ff9245bbbf0768e4c60ed5eca3c38b3
001953a079981e9b8f4df8444fdfd53598422424424577b6274072f346cf9aacf86dfe4a47d8739525217a60286ddbd6a4a7c9a0dbb0760ea53dd2f27df619f7b522d3fb5146f794ab987affb4b63bcb114a7ea65517eccdf0fd20bd9f
01878426504aca4db656a48f16aeccabc3374c601315d5a7a5773e9ff37da55df58c21d1771c2ac08d3fe057f362c3bfc5f9f3839f6bfde3ea3afc349c2eb411148094212dd33827ea583f4c8456351030e82128df8b9dda774cf186dd