-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathrv64ui-uarch-fence-steps.json
7642 lines (7642 loc) · 735 KB
/
rv64ui-uarch-fence-steps.json
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
{ "steps":[
{
"circuit_ram" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000020697365747261630f000000000000000f0000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d1114000000008000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff180000000000000000000000000000000000000000000000000000000000000001000000000000000200000000000000000000000000000000000000000000000000000000000000000000700000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f00f00fb78001009b80d0c39390f0009380a0aa93011000b78001009b80d0c39390f0009380a0aa930280321303100023b06200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"accesses": [
{
"type": "read",
"address": 800,
"value": "0000000000000000",
"proof": {
"target_address": 800,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"4a87a31d304ad0d4c3da6511347f83668ff28abc6c0f47389db017f391015cec",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "b24fa3459b32f8d58e051b92795707b72c48055b17ccd46e43d0bce3ee8c2847"
}
},
{
"type": "read",
"address": 808,
"value": "0000000000000000",
"proof": {
"target_address": 808,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"4a87a31d304ad0d4c3da6511347f83668ff28abc6c0f47389db017f391015cec",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "b24fa3459b32f8d58e051b92795707b72c48055b17ccd46e43d0bce3ee8c2847"
}
},
{
"type": "read",
"address": 816,
"value": "0000007000000000",
"proof": {
"target_address": 816,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "39953ab473cedfcf97e8341fd442c9591e80716a4107c87586ccf5061c1637e2",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"4d9470a821fbe90117ec357e30bad9305732fb19ddf54a07dd3e29f440619254",
"c40dbdee7ff834237ee7e6a58df7d61f7bc2aa7fee223a2a23499e0bdb0d13ff"
],
"root_hash": "b24fa3459b32f8d58e051b92795707b72c48055b17ccd46e43d0bce3ee8c2847"
}
},
{
"type": "read",
"address": 1879048192,
"value": "0f00f00fb7800100",
"proof": {
"target_address": 1879048192,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "119abe91c899e4b243424be4a3d6aaae6190d497e2526cf39222ad07a2478fae",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"c4ebc8f518941199660e489fdf6a9a07dd1e36585896677a61fb3fb11e32bc9d",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"f7549f26cc70ed5e18baeb6c81bb0625cb95bb4019aeecd40774ee87ae29ec51",
"2122e31e4bbd2b7c783d79cc30f60c6238651da7f0726f767d22747264fdb046",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"c37b8b13ca95166fb7af16988a70fcc90f38bf9126fd833da710a47fb37a55e6",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"5708f2ccfee2e264b6897b51326029aae531647972a7c1bf589ee497a72bba91",
"5585462886d24b8949de20fa79ddfc85648ba9ba12cf2f2340dcc671f88b6acd",
"516cbfd85e2d9513b35eeb9a7fc84a0118d742655bda6f1ba20da07ee685a846"
],
"root_hash": "b24fa3459b32f8d58e051b92795707b72c48055b17ccd46e43d0bce3ee8c2847"
}
},
{
"type": "write",
"address": 816,
"value": "0400007000000000",
"proof": {
"target_address": 816,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "39953ab473cedfcf97e8341fd442c9591e80716a4107c87586ccf5061c1637e2",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"4d9470a821fbe90117ec357e30bad9305732fb19ddf54a07dd3e29f440619254",
"c40dbdee7ff834237ee7e6a58df7d61f7bc2aa7fee223a2a23499e0bdb0d13ff"
],
"root_hash": "b24fa3459b32f8d58e051b92795707b72c48055b17ccd46e43d0bce3ee8c2847"
}
},
{
"type": "write",
"address": 800,
"value": "0100000000000000",
"proof": {
"target_address": 800,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"5bdf23c6f9893cec749f57220c7dcffbb67f9feaf734d74f701ad4fda685aa44",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "2d0007350c6b4b6e618b6dec78eda4688b2ebb2eb8886eeced64fb0b6def3953"
}
}
]
},
{
"circuit_ram" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000020697365747261630f000000000000000f0000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d1114000000008000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff180000000000000000000000000000000000000000000000000000000000000001000000000000000200000000000000000000000000000001000000000000000000000000000000040000700000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f00f00fb78001009b80d0c39390f0009380a0aa93011000b78001009b80d0c39390f0009380a0aa930280321303100023b06200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"accesses": [
{
"type": "read",
"address": 800,
"value": "0100000000000000",
"proof": {
"target_address": 800,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "30f692b256e24009bcb34d0ee84da73c298afacc0924e01105e2eb0f01a87fe2",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"5bdf23c6f9893cec749f57220c7dcffbb67f9feaf734d74f701ad4fda685aa44",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "574ab9e9a0f54431d839d60762eed6e9c69cac138b4175488540a8b58ba73a32"
}
},
{
"type": "read",
"address": 808,
"value": "0000000000000000",
"proof": {
"target_address": 808,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"5bdf23c6f9893cec749f57220c7dcffbb67f9feaf734d74f701ad4fda685aa44",
"30f692b256e24009bcb34d0ee84da73c298afacc0924e01105e2eb0f01a87fe2"
],
"root_hash": "574ab9e9a0f54431d839d60762eed6e9c69cac138b4175488540a8b58ba73a32"
}
},
{
"type": "read",
"address": 816,
"value": "0400007000000000",
"proof": {
"target_address": 816,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "2756532362fc784c48597aa49cb0e157542157b2a280ad0920070e6b03f3221d",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"285b9dac989ce0db500d2e80dfb601efb5a9a7d40e3164eff78e122e2e8b4c7b",
"c40dbdee7ff834237ee7e6a58df7d61f7bc2aa7fee223a2a23499e0bdb0d13ff"
],
"root_hash": "574ab9e9a0f54431d839d60762eed6e9c69cac138b4175488540a8b58ba73a32"
}
},
{
"type": "read",
"address": 1879048192,
"value": "0f00f00fb7800100",
"proof": {
"target_address": 1879048192,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "119abe91c899e4b243424be4a3d6aaae6190d497e2526cf39222ad07a2478fae",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"70cc524def1bcaafb38a9902f91368babf26c8948f63ba14737c67fe2f00aaf0",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"f7549f26cc70ed5e18baeb6c81bb0625cb95bb4019aeecd40774ee87ae29ec51",
"2122e31e4bbd2b7c783d79cc30f60c6238651da7f0726f767d22747264fdb046",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"c37b8b13ca95166fb7af16988a70fcc90f38bf9126fd833da710a47fb37a55e6",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"3fc9a15f5b4869c872f81087bb6104b7d63e6f9ab47f2c43f3535eae7172aa7f",
"5708f2ccfee2e264b6897b51326029aae531647972a7c1bf589ee497a72bba91",
"5585462886d24b8949de20fa79ddfc85648ba9ba12cf2f2340dcc671f88b6acd",
"516cbfd85e2d9513b35eeb9a7fc84a0118d742655bda6f1ba20da07ee685a846"
],
"root_hash": "574ab9e9a0f54431d839d60762eed6e9c69cac138b4175488540a8b58ba73a32"
}
},
{
"type": "write",
"address": 840,
"value": "0080010000000000",
"proof": {
"target_address": 840,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"7ac7912d1d7d9c5d372936f7c1de6b921ba015764ddd00d1553ce9ad9a52e4ea",
"ae39ce8537aca75e2eff3e38c98011dfe934e700a0967732fc07b430dd656a23",
"4d9470a821fbe90117ec357e30bad9305732fb19ddf54a07dd3e29f440619254",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "574ab9e9a0f54431d839d60762eed6e9c69cac138b4175488540a8b58ba73a32"
}
},
{
"type": "write",
"address": 816,
"value": "0800007000000000",
"proof": {
"target_address": 816,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "2756532362fc784c48597aa49cb0e157542157b2a280ad0920070e6b03f3221d",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"389684d7282fa950bb3871b700942d1ba6714d65d60b912d27b3f1fe9bfe6f8b",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"285b9dac989ce0db500d2e80dfb601efb5a9a7d40e3164eff78e122e2e8b4c7b",
"c40dbdee7ff834237ee7e6a58df7d61f7bc2aa7fee223a2a23499e0bdb0d13ff"
],
"root_hash": "96263d7f51886ddc7297648e5f05d0d6fa2f63e62b5505a496f6c57279934a90"
}
},
{
"type": "write",
"address": 800,
"value": "0200000000000000",
"proof": {
"target_address": 800,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "30f692b256e24009bcb34d0ee84da73c298afacc0924e01105e2eb0f01a87fe2",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",
"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683",
"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd",
"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc",
"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f",
"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249",
"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6",
"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e",
"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c",
"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da",
"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb",
"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff",
"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b",
"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e",
"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2",
"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864",
"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94",
"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e",
"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998",
"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61",
"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e",
"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316",
"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499",
"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6",
"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9",
"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90",
"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423",
"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951",
"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997",
"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b",
"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c",
"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55",
"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3",
"087d75d8390b3a17768e49242bbd5accbab563080195cae96f34a69fdc98febe",
"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d",
"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f",
"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c",
"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae",
"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593",
"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36",
"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23",
"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b",
"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e",
"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f",
"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524",
"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89",
"def29c6ccaa90dcb9400d66ad733d571e84f3a7425c1c818ac0ea274b8163faf",
"f797cd79a61fc97faa27709fcda54b01da73c51c90f3f18e3791e880f4efe35a",
"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7",
"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb",
"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61",
"62e493b40c61c7ba33acb57a0635b287c29932563b6f3b93a42a3901b19aa82f",
"cd5deac729d0fdaccc441d09d7325f41586ba13c801b7eccae0f95d8f3933efe",
"30b0b9deb73e155c59740bacf14a6ff04b64bb8e201a506409c3fe381ca4ea90",
"8e7a427fa943d9966b389f4f257173676090c6e95f43e2cb6d65f8758111e309",
"da37de01d25dcdc70052b4f735ef21137cc77846e0876bb9a742c912641f7c11",
"17d2dd614cddaa4d879276b11e0672c9560033d3e8453a1d045339d34ba601b9",
"389684d7282fa950bb3871b700942d1ba6714d65d60b912d27b3f1fe9bfe6f8b",
"d804fd2ea3f1c0b3abaddec09c1a54cc0ac2bdc6bc7f61d7ca426b0994b2faaf",
"198cd823f3cc91aa5f44ffa39e87fcaeca202c81efaccdb471875c2eef32a1dc",
"011b4d03dd8c01f1049143cf9c4c817e4b167f1d1b83e5c6f0f10d89ba1e7bce"
],
"root_hash": "05fb0f775190f055efcca6f5c39f76bf3c276d5412c2a14c656533643f9e36ee"
}
}
]
},
{
"circuit_ram" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000020697365747261630f000000000000000f0000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d1114000000008000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff180000000000000000000000000000000000000000000000000000000000000001000000000000000200000000000000000000000000000002000000000000000000000000000000080000700000000000000200000000000000000000000000008001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f00f00fb78001009b80d0c39390f0009380a0aa93011000b78001009b80d0c39390f0009380a0aa930280321303100023b06200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"accesses": [
{
"type": "read",
"address": 800,
"value": "0200000000000000",
"proof": {
"target_address": 800,
"log2_target_size": 3,
"log2_root_size": 64,
"target_hash": "675c1f4e4248fc4018c281a280014d93c8e5bdf26fc6ec8b108f13f571e98ad2",
"sibling_hashes": [
"916ca832592485093644e8760cd7b4c01dba1ccc82b661bf13f0e3f34acd6b88",