{"protocol":null,"instances":[["30feffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","bcfdffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","c9feffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","dcfeffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","3fffffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","5e02000000000000000000000000000000000000000000000000000000000000","11ffffef93f5e1439170b97948e833285d588181b64550b829a031e1724e6430","2502000000000000000000000000000000000000000000000000000000000000","3001000000000000000000000000000000000000000000000000000000000000","9502000000000000000000000000000000000000000000000000000000000000"]],"proof":[7,61,146,15,137,209,135,239,211,23,40,96,72,196,38,96,204,227,229,112,161,164,89,3,141,13,8,91,68,131,65,33,30,178,63,50,113,89,87,247,129,221,242,230,251,208,35,95,67,169,47,223,36,144,35,241,237,65,60,200,250,153,27,70,3,90,230,81,163,94,63,224,121,55,76,201,55,196,96,198,96,94,150,169,34,187,149,134,32,65,3,221,240,187,248,100,28,238,240,7,27,11,164,109,242,154,211,102,27,25,195,165,210,184,247,134,183,27,20,218,214,87,8,100,91,244,253,238,3,36,15,123,144,95,44,16,123,153,255,27,73,237,126,144,0,24,31,110,47,161,170,119,70,146,200,180,170,193,178,223,18,180,106,65,23,235,230,109,107,125,45,147,237,1,128,150,12,50,64,55,2,180,77,132,9,251,114,201,96,242,70,213,33,207,102,36,158,51,185,12,21,118,145,63,5,175,81,168,116,223,39,79,156,7,167,35,231,48,149,63,20,42,158,59,45,233,168,142,148,210,1,94,166,164,220,41,53,202,189,174,7,70,41,215,6,219,215,83,219,106,18,180,155,85,182,110,39,135,53,101,231,147,92,166,239,14,10,193,31,157,220,120,59,128,194,45,230,84,93,16,75,179,159,117,35,84,151,32,9,129,116,189,133,171,192,123,195,147,255,43,135,153,228,29,202,131,197,172,209,70,64,110,36,140,190,210,19,214,190,92,7,30,253,174,141,32,6,127,32,136,179,21,217,50,109,120,149,247,128,167,135,101,60,149,210,215,242,206,106,48,60,128,47,231,50,21,145,251,53,2,119,139,149,164,147,252,233,64,14,22,234,100,153,235,108,1,98,254,229,153,79,240,176,140,24,132,254,146,69,133,206,164,104,150,44,22,58,72,62,183,86,109,54,14,57,36,40,71,106,154,15,16,55,248,251,54,31,213,180,187,105,62,126,190,13,227,203,84,161,115,63,110,185,127,201,189,75,54,3,151,137,39,206,224,94,239,140,37,42,175,181,85,111,150,67,148,17,128,120,208,229,232,153,119,55,40,13,126,1,91,175,35,102,107,9,102,21,234,224,244,8,198,177,127,141,143,85,153,34,208,37,98,185,76,75,39,141,88,200,67,70,236,197,183,29,53,223,98,75,241,105,172,11,143,186,208,143,32,20,233,103,186,113,115,5,220,114,57,151,176,240,57,255,191,64,11,255,245,189,77,63,4,190,63,12,183,129,49,213,26,34,183,3,230,172,23,33,117,240,89,251,166,101,1,229,65,142,176,120,182,94,102,152,7,203,196,10,83,245,58,81,42,188,49,32,141,157,122,19,54,237,117,8,6,232,141,103,116,88,181,34,73,175,101,36,148,143,172,9,25,115,41,255,255,134,207,40,166,22,74,211,96,214,195,11,38,113,255,162,61,205,165,192,47,138,151,168,237,244,244,13,228,112,2,116,149,60,123,10,220,158,78,100,39,101,226,97,151,131,160,67,238,244,105,38,200,159,105,204,3,187,78,19,186,173,172,212,122,237,134,197,245,231,57,84,76,189,62,228,4,132,39,127,51,140,12,75,122,150,198,18,219,176,158,28,126,236,76,151,99,174,47,219,225,159,243,182,233,210,39,161,109,145,53,69,24,116,118,230,206,86,53,197,67,110,131,19,191,37,213,28,173,235,142,184,125,218,221,127,190,154,7,58,112,65,229,110,240,217,117,89,55,1,45,80,206,165,79,7,24,30,33,240,170,186,95,31,9,7,234,134,19,235,112,230,76,160,214,144,181,27,49,69,7,203,60,171,80,89,61,17,237,203,119,125,199,124,141,208,195,200,36,188,33,77,169,45,215,183,48,223,145,224,110,201,157,237,45,55,44,115,88,27,125,71,204,90,168,50,84,110,33,183,34,183,191,191,123,178,55,169,17,7,252,245,242,200,235,122,134,247,113,22,103,7,187,169,30,178,178,221,52,234,28,50,160,80,133,248,229,88,147,235,91,20,151,196,46,123,53,180,235,115,44,233,138,32,228,119,241,217,131,40,73,92,8,144,51,223,248,10,201,131,53,175,183,77,173,229,160,105,157,67,171,13,3,255,190,20,211,163,148,110,61,10,34,98,165,99,84,42,188,227,224,61,85,160,27,229,243,123,8,10,138,97,188,31,87,212,36,15,249,222,106,135,83,79,98,160,237,224,134,81,114,0,138,82,26,142,223,47,240,6,118,73,117,79,252,129,197,80,213,45,208,212,52,128,84,17,158,156,159,161,216,22,43,171,83,147,223,136,173,169,120,210,11,195,127,112,226,236,37,102,86,11,110,150,37,168,120,93,178,182,67,133,80,45,215,202,249,221,5,139,203,65,197,6,139,118,4,202,189,152,172,166,105,19,64,17,132,67,146,172,115,34,40,103,139,59,250,52,15,224,191,146,4,150,203,213,213,100,107,210,77,10,78,203,228,33,208,162,242,46,115,251,9,204,138,181,66,219,120,52,118,89,129,247,236,162,194,223,91,101,110,90,89,77,77,136,241,46,48,125,241,16,167,11,180,48,107,97,164,160,22,250,103,192,0,94,65,90,181,49,120,196,98,237,49,56,143,96,142,30,254,97,231,107,161,143,129,134,126,82,64,147,8,77,206,21,27,83,248,44,79,147,23,83,211,151,140,189,170,53,25,31,49,212,103,56,211,51,20,44,34,95,83,37,39,59,106,34,234,215,38,180,78,225,117,178,176,221,212,80,114,239,196,8,221,75,19,141,181,229,222,57,42,88,147,45,38,169,40,47,219,119,110,132,228,171,170,156,65,81,67,174,185,18,29,3,233,121,76,31,39,107,32,210,76,131,156,184,224,109,182,222,205,84,141,98,82,216,61,201,44,89,73,233,188,180,91,30,254,97,231,107,161,143,129,134,126,82,64,147,8,77,206,21,27,83,248,44,79,147,23,83,211,151,140,189,170,53,25,31,49,212,103,56,211,51,20,44,34,95,83,37,39,59,106,34,234,215,38,180,78,225,117,178,176,221,212,80,114,239,196,26,153,29,82,56,95,180,78,62,206,96,25,173,51,23,188,105,11,78,233,91,234,4,179,139,231,229,182,219,125,77,0,14,24,181,207,197,229,5,219,140,117,54,144,198,73,188,151,175,135,33,12,180,195,236,168,248,72,150,174,143,109,116,81,30,254,97,231,107,161,143,129,134,126,82,64,147,8,77,206,21,27,83,248,44,79,147,23,83,211,151,140,189,170,53,25,31,49,212,103,56,211,51,20,44,34,95,83,37,39,59,106,34,234,215,38,180,78,225,117,178,176,221,212,80,114,239,196,17,216,54,177,57,52,156,10,87,99,224,175,137,208,181,230,87,54,13,22,122,151,236,163,141,166,189,193,37,13,204,33,45,3,246,92,79,60,12,187,217,130,155,245,167,86,95,15,52,229,52,178,90,127,197,142,35,97,207,40,248,162,169,145,39,162,69,197,220,154,181,196,156,214,133,26,147,163,146,60,25,192,125,241,170,252,40,216,231,112,93,214,248,73,163,159,35,42,158,26,96,206,149,240,215,133,92,227,151,153,123,129,30,140,215,4,57,2,92,181,64,144,80,11,135,233,185,37,17,157,22,98,15,32,60,61,47,243,5,61,4,145,18,222,10,131,121,0,42,247,39,73,141,68,148,170,16,97,51,217,14,173,249,148,210,239,106,92,188,191,203,24,10,251,95,182,59,205,76,127,250,199,125,254,176,58,80,92,58,156,185,197,16,25,141,236,52,32,224,184,190,178,142,223,1,163,30,144,214,127,187,228,27,98,74,210,136,112,99,173,251,195,183,73,35,172,27,45,205,141,192,36,177,183,134,65,200,14,155,11,242,106,26,26,251,197,68,238,247,26,114,20,159,196,87,57,15,21,81,200,86,114,99,66,76,74,108,28,130,229,212,234,174,192,227,43,197,162,146,59,12,63,140,26,129,222,35,7,38,181,166,141,54,199,108,255,17,201,161,128,136,10,253,133,46,218,180,251,91,150,206,171,129,20,5,241,30,86,53,4,30,65,228,103,112,154,244,219,78,217,4,249,115,214,233,101,233,81,176,28,132,214,227,143,85,173,147,127,84,60,180,125,18,53,181,160,223,221,181,90,222,8,102,156,73,158,32,149,172,99,114,217,119,30,131,15,43,227,33,33,31,65,108,68,13,191,63,102,55,43,208,220,252,210,225,192,68,207,5,237,213,242,161,237,227,130,253,18,78,108,50,115,108,104,183,48,30,131,21,72,23,181,25,63,65,5,113,31,182,162,121,20,108,193,183,45,152,218,6,204,85,15,84,238,157,141,200,188,30,51,219,205,154,241,106,60,140,113,13,168,215,94,85,70,78,36,213,107,195,215,5,3,65,248,26,70,143,169,180,98,33,84,162,253,104,138,231,214,97,143,88,224,140,7,232,42,58,214,29,123,195,96,157,39,73,21,167,6,189,153,210,93,24,156,116,120,1,140,94,245,255,146,142,156,43,134,221,151,191,144,47,11,148,162,176,39,179,216,43,27,239,200,124,182,30,224,170,225,133,191,167,194,219,247,9,38,138,35,57,235,154,184,254,36,186,217,167,40,82,251,160,226,187,131,110,23,21,98,159,201,237,198,98,84,126,0,27,70,14,156,230,49,46,142,100,97,178,146,3,205,123,135,2,218,119,40,7,221,16,24,134,144,1,163,13,206,148,204,226,211,55,191,210,169,33,149,54,22,51,123,139,187,11,176,43,130,209,32,254,110,45,9,81,142,120,28,83,243,179,248,133,215,232,149,128,116,143,80,188,61,76,173,123,144,69,228,69,238,75,18,48,54,5,86,104,202,216,209,140,75,193,235,80,78,118,88,3,146,223,157,84,19,132,252,69,219,52,205,17,245,53,13,70,193,45,159,239,194,107,207,238,86,224,108,136,240,46,97,80,22,197,172,227,221,81,216,67,39,223,52,101,182,115,123,93,221,14,89,125,152,218,103,118,158,97,201,69,65,138,154,74,149,140,233,150,91,146,44,14,241,251,184,157,133,76,95,0,140,2,152,153,238,64,239,85,153,95,78,234,27,91,78,51,194,104,44,203,105,234,76,79,216,137,41,40,229,147,59,199,16,2,187,136,62,249,22,72,67,184,161,1,210,99,136,168,68,74,159,98,187,185,67,33,122,250,99,211,104,141,205,3,246,15,99,188,1,43,167,188,89,44,202,152,86,168,121,244,240,241,71,48,218,78,46,16,39,58,208,56,119,57,239,238,12,15,90,106,14,19,180,216,188,133,78,142,246,159,237,182,166,179,24,54,197,88,118,59,141,146,253,6,92,158,44,77,7,33,140,157,165,202,60,31,98,14,163,99,168,114,193,80,63,211,55,208,132,46,100,68,21,136,218,237,42,121,140,232,242,18,97,62,40,198,215,71,214,84,158,230,212,88,105,193,159,65,40,249,91,243,113,157,146,75,26,105,136,85,46,112,165,46,101,31,75,108,119,149,101,70,144,38,40,237,144,81,255,65,59,39,33,250,81,72,114,15,155,195,75,161,82,187,157,0,62,136,185,246,234,105,94,6,18,249,217,229,193,136,199,49,10,137,147,202,79,127,91,52,55,199,30,148,171,213,219,33,140,157,165,202,60,31,98,14,163,99,168,114,193,80,63,211,55,208,132,46,100,68,21,136,218,237,42,121,140,232,242,18,97,62,40,198,215,71,214,84,158,230,212,88,105,193,159,65,40,249,91,243,113,157,146,75,26,105,136,85,46,112,165,35,12,137,119,229,122,125,44,120,122,105,241,131,76,186,210,176,83,104,132,85,33,114,31,213,155,95,138,192,139,79,136,36,38,193,252,217,128,153,64,246,175,19,80,159,32,195,147,188,220,218,181,136,107,144,193,49,193,19,71,79,35,15,76,33,140,157,165,202,60,31,98,14,163,99,168,114,193,80,63,211,55,208,132,46,100,68,21,136,218,237,42,121,140,232,242,18,97,62,40,198,215,71,214,84,158,230,212,88,105,193,159,65,40,249,91,243,113,157,146,75,26,105,136,85,46,112,165,21,197,166,248,168,126,166,110,10,252,2,124,237,28,118,84,67,52,95,85,110,30,207,165,100,104,162,178,97,124,148,140,40,164,254,66,73,122,70,72,243,203,215,26,167,26,245,41,132,96,229,201,27,199,144,185,78,240,76,66,119,192,112,62,0,227,244,247,164,76,196,33,243,200,188,233,93,130,217,254,225,143,137,201,89,176,85,224,35,32,212,21,224,207,149,83,16,187,133,222,68,53,70,234,48,179,240,121,148,120,255,108,86,107,38,237,5,172,181,212,71,60,243,167,35,98,80,126,21,113,119,100,80,152,74,139,95,20,242,137,104,13,198,47,253,249,35,182,37,87,113,27,89,37,254,207,248,205,117,106,31,153,16,235,5,72,181,106,80,197,37,102,57,148,73,218,10,69,246,196,6,16,211,153,132,124,94,88,174,130,109,240,27,171,57,41,7,239,181,247,168,28,11,160,101,101,229,89,198,106,252,180,46,182,54,100,165,230,250,121,44,1,190,21,35,122,229,53,178,216,241,53,24,241,140,159,236,181,251,42,97,249,217,239,32,238,249,230,103,122,177,189,25,255,220,25,26,100,30,102,94,18,224,81,77,172,143,241,78,226,175,250,188,95,27,250,242,124,13,187,192,205,99,103,84,73,181,28,5,182,49,232,103,188,12,154,180,96,23,212,171,90,239,197,181,52,205,239,46,142,167,36,149,155,17,206,11,136,110,14,35,169,154,180,51,65,144,155,237,103,90,28,203,139,135,160,88,95,231,155,6,61,112,198,197,124,243,63,13,13,179,108,20,140,207,84,34,146,157,9,69,200,216,223,170,49,149,193,230,19,142,4,196,23,148,88,86,106,127,49,140,57,72,28,16,188,110,146,40,216,181,150,250,148,117,16,131,59,72,120,190,234,229,155,206,38,168,183,181,221,50,15,102,152,161,8,28,114,238,144,70,195,117,103,84,131,76,146,126,7,165,171,81,216,30,177,246,122,218,16,162,160,192,195,143,29,6,188,17,30,79,122,14,90,150,204,110,125,76,200,39,207,7,74,237,211,176,143,156,11,20,228,245,144,130,129,24,34,132,106,3,89,216,95,238,71,178,2,240,113,106,4,72,69,58,48,128,198,207,218,255,35,103,235,55,0,231,30,146,20,135,10,24,111,225,118,142,98,209,175,71,171,133,119,142,236,66,217,218,177,187,121,239,110,249,220,129,17,244,90,18,199,202,238,24,242,20,124,33,225,154,169,66,249,149,178,239,90,79,218,124,210,80,163,140,21,253,190,231,220,122,21,203,121,116,220,39,239,240,56,203,5,206,155,250,53,120,167,120,235,56,91,180,19,165,88,65,250,248,63,248,177,163,167,237,232,188,48,29,143,177,104,2,78,17,136,160,43,26,18,153,147,56,41,82,147,240,107,37,194,63,71,120,209,97,196,49,195,253,115,23,212,152,55,153,196,149,104,196,124,96,243,116,185,80,221,196,248,232,8,178,185,99,138,250,89,57,72,113,146,197,147,25,107,105,113,221,114,184,162,233,235,78,6,121,164,176,180,36,178,14,79,219,110,253,64,27,75,179,170,185,248,227,206,36,195,72,55,98,121,115,4,207,83,191,119,129,172,215,250,60,36,41,108,156,103,13,216,121,79,236,18,125,7,91,112,45,142,28,220,165,114,248,54,240,200,46,24,98,88,109,104,109,232,142,133,196,165,79,160,218,251,14,23,58,108,0,201,35,60,251,22,84,144,166,91,197,138,64,213,52,254,74,72,118,43,149,55,71,205,136,230,238,68,178,229,48,250,45,195,9,98,132,213,95,169,236,107,15,210,160,74,74,75,224,147,224,156,240,95,47,145,28,237,199,230,118,193,76,173,251,37,25,226,237,22,47,105,174,5,144,231,246,93,175,117,77,149,178,205,66,53,146,171,41,50,94,100,21,224,72,237,221,138,29,98,94,214,40,176,35,151,178,159,89,188,6,161,130,169,172,8,19,226,191,159,220,131,208,28,52,51,204,94,185,126,41,35,116,177,206,239,51,156,92,75,184,66,38,242,31,37,57,75,205,100,71,209,171,203,132,135,211,39,191,165,55,0,8,96,227,44,31,55,73,83,37,180,26,5,2,103,144,173,113,42,58,183,104,212,40,84,81,19,235,187,52,161,195,87,13,69,111,80,225,211,243,40,165,161,245,151,87,71,24,147,95,173,218,7,231,133,73,120,162,34,183,237,136,224,234,132,22,147,246,107,109,7,81,196,189,218,238,69,28,155,182,167,231,73,81,128,205,49,142,185,105,191,212,62,173,42,127,2,8,145,130,144,70,113,52,100,239,245,38,64,134,211,252,130,144,4,58,117,132,118,208,111,156,35,27,120,35,141,157,153,48,58,143,22,208,7,96,22,155,47,204,196,203,22,183,210,253,40,218,227,11,86,67,17,147,154,95,243,134,213,33,165,20,4,116,50,4,79,107,0,217,14,59,130,196,60,62,238,178,144,232,147,34,94,181,132,65,208,17,133,233,254,177,54,1,240,63,82,206,181,186,161,59,244,120,5,139,76,164,125,216,174,2,112,185,5,30,68,201,131,254,72,76,12,208,8,6,20,126,238,24,129,89,51,57,168,230,1,12,210,12,149,136,230,242,76,140,158,64,196,198,8,196,155,65,230,87,137,14,86,249,159,86,164,221,190,144,170,6,160,174,51,201,154,243,74,165,168,31,67,31,66,140,182,13,228,250,133,95,217,26,120,62,52,250,21,158,10,46,57,46,95,34,5,50,254,17,186,186,168,189,138,37,81,89,218,153,25,88,122,1,11,15,61,185,251,108,176,250,193,55,93,209,184,121,250,46,35,91,124,60,198,250,174,172,56,173,204,44,137,193,139,81,56,22,172,110,152,136,69,254,191,190,51,123,50,14,84,7,42,83,103,197,23,94,208,25,114,94,255,222,47,247,100,232,190,2,208,149,248,101,224,203,116,24,57,227,190,204,32,179,3,15,168,122,182,103,188,179,230,38,228,69,204,145,98,221,56,46,108,211,189,110,4,123,49,134,113,117,191,116,33,43,126,107,125,140,213,6,23,3,236,187,247,186,67,38,211,165,144,46,217,219,13,39,57,65,196,33,97,67,46,166,54,153,156,87,188,144,125,135,140,149,250,125,20,10,27,188,187,47,43,23,89,91,46,232,98,46,38,137,184,125,72,129,22,167,80,126,184,73,252,121,83,222,81,200,156,184,233,234,186,183,33,0,91,142,138,162,66,67,203,51,19,254,185,66,146,84,31,157,195,53,216,233,204,68,26,183,95,98,11,130,25,157,92,28,241,153,23,69,118,82,50,227,4,125,150,244,242,11,90,145,82,74,239,116,24,65,237,139,238,253,115,172,226,220,108,38,205,127,126,213,17,197,161,232,220,74,33,88,254,49,179,42,20,195,134,239,62,129,78,117,118,193,81,72,88,223,110,0,85,15,41,218,53,14,45,16,154,206,228,102,218,208,183,138,226,32,200,135,167,49,243,223,171,128,132,188,14,85,46,0,85,15,41,218,53,14,45,16,154,206,228,102,218,208,183,138,226,32,200,135,167,49,243,223,171,128,132,188,14,85,46,32,93,213,28,29,167,144,201,89,154,115,243,118,26,129,129,120,125,171,133,195,112,186,146,165,146,114,31,216,81,134,253,32,93,213,28,29,167,144,201,89,154,115,243,118,26,129,129,120,125,171,133,195,112,186,146,165,146,114,31,216,81,134,253,30,2,82,159,69,17,192,183,125,3,70,209,97,126,31,221,43,81,37,230,66,245,26,117,188,177,77,12,169,27,180,12,30,2,82,159,69,17,192,183,125,3,70,209,97,126,31,221,43,81,37,230,66,245,26,117,188,177,77,12,169,27,180,12,26,107,209,213,197,16,66,68,235,135,250,19,69,2,217,254,246,159,128,174,247,173,109,14,119,141,246,71,167,242,98,135,26,107,209,213,197,16,66,68,235,135,250,19,69,2,217,254,246,159,128,174,247,173,109,14,119,141,246,71,167,242,98,135,34,71,88,70,86,44,225,40,22,53,15,123,102,119,152,145,146,236,188,202,75,60,250,189,238,188,25,37,212,46,39,104,34,71,88,70,86,44,225,40,22,53,15,123,102,119,152,145,146,236,188,202,75,60,250,189,238,188,25,37,212,46,39,104,42,148,173,200,244,254,131,131,112,224,244,176,58,246,73,3,100,178,137,122,95,180,76,177,51,126,138,55,219,151,223,250,42,148,173,200,244,254,131,131,112,224,244,176,58,246,73,3,100,178,137,122,95,180,76,177,51,126,138,55,219,151,223,250,44,137,114,162,203,169,219,169,193,107,227,73,17,156,23,28,29,135,232,20,250,254,87,30,121,1,213,80,36,49,141,191,44,137,114,162,203,169,219,169,193,107,227,73,17,156,23,28,29,135,232,20,250,254,87,30,121,1,213,80,36,49,141,191,43,140,81,38,221,114,98,170,232,194,46,216,205,131,81,186,214,239,64,78,84,59,142,126,167,16,217,24,192,7,177,23,43,140,81,38,221,114,98,170,232,194,46,216,205,131,81,186,214,239,64,78,84,59,142,126,167,16,217,24,192,7,177,23,34,35,228,153,8,206,28,251,249,60,212,169,125,183,76,207,152,54,191,25,181,150,153,255,21,57,160,116,83,150,225,217,34,35,228,153,8,206,28,251,249,60,212,169,125,183,76,207,152,54,191,25,181,150,153,255,21,57,160,116,83,150,225,217,1,254,208,204,210,10,211,255,184,251,90,170,71,153,47,187,16,125,62,245,88,125,29,80,237,124,111,143,126,48,143,250,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,154,42,58,124,197,245,109,62,197,98,78,232,30,203,138,134,237,204,158,58,253,243,156,21,253,34,111,10,227,74,244,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,44,59,1,234,126,31,126,211,180,193,70,159,215,178,23,61,181,174,26,173,124,120,251,229,156,8,250,28,162,82,89,247,40,33,45,253,189,195,135,107,249,241,153,77,119,115,239,151,242,99,26,22,230,100,21,178,14,197,103,33,6,91,152,37,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11,138,23,143,86,246,132,239,34,18,113,245,181,0,184,180,143,58,7,69,125,221,135,168,88,154,158,84,211,110,133,222,24,151,80,191,232,71,228,203,173,224,74,79,199,19,70,41,77,45,210,154,95,197,115,249,50,235,59,96,63,23,108,72,7,149,199,163,204,127,65,47,88,65,233,37,42,40,247,199,9,58,101,95,143,123,217,172,79,250,155,119,47,194,205,203,18,3,72,156,141,243,136,110,140,89,109,224,11,22,237,37,140,170,91,96,87,237,176,226,48,97,67,57,164,219,29,166,2,55,59,84,100,200,147,5,35,37,16,43,250,186,18,73,242,233,182,252,44,161,202,34,103,45,170,108,156,110,72,157,4,207,245,69,47,103,60,233,114,170,16,135,25,232,224,49,208,6,230,64,140,140,223,118,191,147,124,134,51,202,74,114,8,108,227,201,100,142,249,152,241,231,97,94,237,97,184,165,200,106,23,133,115,126,218,202,39,15,247,237,6,184,98,33,38,103,190,142,119,82,145,29,190,172,83,148,74,8,96,109,246,144,106,56,98,50,86,231,168,30,119,81,69,65,185,161,46,173,237,52,30,186,156,249,57,234,251,50,108,231,25,254,51,178,32,46,188,36,25,204,145,159,104,36,41,119,57,154,32,47,105,243,173,39,83,69,19,159,43,90,137,241,87,152,69,65,41,46,138,35,211,51,183,195,55,48,42,142,48,25,19,208,65,157,97,233,80,155,183,116,214,204,237,172,189,215,65,163,197,3,112,118,46,245,148,15,207,165,190,185,176,94,22,155,165,71,167,207,214,180,181,114,247,115,5,53,38,22,223,240,237,70,57,182,8,0,150,249,116,215,244,125,107,104,28,192,192,55,74,93,70,242,61,166,42,123,140,23,26,162,180,135,173,80,137,217,43,50,111,45,213,143,230,220,45,141,35,94,59,102,44,126,58,251,149,106,82,115,188,80,13,221,101,167,103,74,232,160,188,47,139,252,127,26,251,2,33,21,36,62,240,17,140,8,141,79,94,63,58,64,215,233,35,146,124,98,142,103,132,210,183,131,135,130,162,35,154,205,141,108,46,69,245,194,212,6,121,168,133,204,171,82,18,106,38,50,175,29,107,156,68,132,220,90,44,12,244,42,90,180,200,227,39,151,76,49,113,24,185,221,133,23,110,169,184,45,110,43,138,227,204,176,180,198,7,107,17,65,31,130,154,110,136,76,6,227,27,75,176,74,255,163,42,134,223,4,58,76,113,219,143,2,241,244,190,40,229,200,61,183,2,143,156,83,254,3,29,250,228,244,239,181,58,149,203,67,56,55,118,106,12,13,83,79,215,203,38,222,182,5,113,139,133,157,175,245,254,229,26,122,214,206,122,101,211,173,218,216,136,174,93,157,120,247,225,230,11,195,131,230,178,78,105,134,24,71,216,155,96,213,46,10,93,73,32,110,176,84,110,85,229,229,126,184,24,165,28,207,105,29,68,146,20,255,67,39,221,106,168,106,164,145,42,211,42,218,245,212,240,255,223,147,189,202,4,8,191,151,95,216,237,251,7,15,202,191,202,146,17,117,49,69,169,210,35,205,150,63,192,49,153,66,136,36,81,99,180,128,8,99,37,18,187,241,198,236,250,61,242,162,177,231,87,165,154,143,28,70,169,26,101,11,142,109,140,129,76,50,228,236,254,41,234,37,100,180,35,229,195,249,250,185,229,206,208,55,242,9,24,70,142,136,25,166,149,165,0,122,146,90,90,179,229,40,184,125,49,66,234,161,215,108,153,240,149,144,194,52,57,138,13,181,153,69,116,24,181,251,199,189,202,71,66,101,168,210,245,184,134,165,92,74,247,32,136,64,33,58,121,70,2,206,5,125,198,133,173,248,109,233,31,29,59,211,87,72,252,176,236,22,161,171,27,211,202,168,63,60,115,226,209,207,232,200,35,205,236,123,74,92,254,79,15,12,47,85,200,46,169,255,254,144,253,5,51,186,222,82,113,67,126,137,155,71,74,21,21,194,234,244,12,36,12,145,65,110,96,200,70,236,7,12,48,52,164,204,183,68,65,98,9,114,49,184,84,249,208,86,24,219,133,12,246,231,157,20,228,6,219,211,98,117,186,235,239,253,104,80,161,102,84,144,54,169,177,253,40,115,133,7,16,202,246,172,205,36,37,100,197,24,206,169,0,89,107,154,132,220,11,211,205,7,67,116,178,173,46,192,207,151,201,231,46,30,140,243,152,149,98,239,71,21,13,36,40,206,195,228,160,54,203,175,48,191,28,46,83,2,230,3,91,86,150,115,14,188,212,161,98,60,173,104,222,137,38,157,61,145,41,93,207,131,83,220,185,205,153,177,183,31,2,184,2,247,171,251,31,178,221,26,222,173,108,50,79,158,220,105,250,181,194,177,119,74,153,122,171,77,26,56,244,25,159,205,21,142,220,247,10,60,208,90,54,132,182,178,139,180,6,22,52,68,2,131,82,98,65,208,58,50,206,195,150,213,224,188,187,21,74,139,41,244,182,172,172,135,106,26,222,181,179,224,182,238,177,239,133,184,32,38,197,136,9,151,227,232,81,152,18,87,248,229,9,71,140,169,10,123,174,113,8,243,104,136,238,25,141,225,106,213,120,48,88,216,248,8,205,70,54,41,209,32,207,183,0,208,139,196,189,27,189,196,109,152,198,106,193,65,65,223,50,62,160,7,182,152,31,119,4,185,24,191,78,141,35,74,6,115,45,211,81,129,32,228,127,159,51,202,66,31,197,211,236,49,190,109,251,174,212,34,138,29,147,89,87,193,4,125,34,66,204,136,237,92,111,57,201,28,195,187,136,213,164,199,143,80,192,232,28,233,148,80,49,203,164,199,1,90,148,52,21,199,150,84,253,6,92,127,115,212,186,60,69,199,15,223,179,114,226,7,196,59,247,247,136,156,200,13,76,173,186,135,12,26,39,123,127,143,200,163,113,220,240,57,14,79,64,10,182,136,219,217,50,133,190,183,169,129,37,251,58,92,145,229,25,224,64,15,204,85,40,235,92,226,7,16,253,113,179,177,191,241,11,122,238,38,16,183,134,39,161,190,31,101,78,94,1,38,44,79,230,86,244,125,66,121,148,85,117,96,79,94,128,97,197,72,112,75,6,143,181,84,250,57,223,6,241,179,1,150,179,135,240,53,75,111,200,188,202,208,126,13,64,136,78,149,185,220,114,43,181,13,14,111,242,48,242,41,3,52,32,45,63,254,218,115,117,242,187,221,4,243,116,80,122,208,237,130,218,82,175,188,8,68,249,236,147,91,64,99,52,122,26,61,48,94,223,31,167,240,162,184,224,69,220,142,12,112,165,139,54,201,101,80,74,126,144,118,204,220,52,203,126,222,12,26,39,123,127,143,200,163,113,220,240,57,14,79,64,10,182,136,219,217,50,133,190,183,169,129,37,251,58,92,145,229,25,224,64,15,204,85,40,235,92,226,7,16,253,113,179,177,191,241,11,122,238,38,16,183,134,39,161,190,31,101,78,94,1,38,44,79,230,86,244,125,66,121,148,85,117,96,79,94,128,97,197,72,112,75,6,143,181,84,250,57,223,6,241,179,32,236,191,26,22,78,32,107,103,153,245,7,249,63,30,1,98,61,242,133,133,249,219,37,100,41,251,135,237,86,117,42,17,255,224,120,91,35,150,120,240,87,224,73,224,170,90,92,168,165,88,71,122,171,236,89,188,248,172,91,239,239,14,171,12,102,194,40,26,136,183,202,58,13,48,9,173,158,184,227,55,23,169,74,254,254,110,150,145,226,32,121,63,204,94,157,12,26,39,123,127,143,200,163,113,220,240,57,14,79,64,10,182,136,219,217,50,133,190,183,169,129,37,251,58,92,145,229,25,224,64,15,204,85,40,235,92,226,7,16,253,113,179,177,191,241,11,122,238,38,16,183,134,39,161,190,31,101,78,94,1,38,44,79,230,86,244,125,66,121,148,85,117,96,79,94,128,97,197,72,112,75,6,143,181,84,250,57,223,6,241,179,21,247,185,75,3,6,145,226,238,47,180,27,117,226,67,63,168,65,58,63,206,240,173,174,76,130,16,118,238,189,219,164,38,110,77,118,35,175,36,198,171,96,13,135,148,55,116,11,74,130,46,247,25,240,77,52,246,69,134,66,190,122,166,48,34,82,30,143,75,102,220,246,193,223,30,68,244,50,228,54,104,95,89,97,64,129,43,86,214,110,126,6,204,146,96,52,3,135,23,144,89,166,20,44,108,79,11,90,65,31,63,52,10,162,177,25,103,85,229,98,58,61,192,235,74,243,216,173,26,36,188,139,14,131,10,191,218,106,226,35,35,157,131,23,47,32,192,84,240,191,131,24,26,84,225,98,113,245,152,111,39,162,16,131,184,49,66,49,88,45,33,151,61,178,148,191,196,223,112,16,157,162,220,54,173,116,61,154,128,27,104,34,47,147,130,164,97,250,99,4,135,175,164,32,234,209,136,73,23,20,134,137,90,116,147,224,17,38,95,12,131,87,157,175,35,119,156,124,51,238,57,202,167,230,69,84,230,71,183,209,212,250,185,218,57,106,94,245,214,22,246,242,81,163,148,123,12,167,24,228,58,9,175,218,44,221,177,1,150,118,60,167,186,52,5,94,1,111,202,205,71,218,39,88,154,175,124,241,3,22,251,149,69,77,225,118,56,9,71,85,189,78,154,209,155,89,119,36,60,217,209,25,196,233,65,206,50,182,248,38,5,16,132,145,42,141,137,161,90,19,4,16,2,135,68,213,223,219,56,111,107,214,77,44,138,51,240,29,48,99,38,144,9,135,36,7,189,25,57,86,226,106,32,187,6,217,167,34,120,141,122,245,223,240,58,46,194,249,87,142,213,224,186,182,19,0,13,11,95,191,123,75,18,186,79,30,127,158,107,140,235,176,121,243,74,21,166,24,85,210,34,61,124,109,63,177,5,153,16,111,86,3,87,33,253,104,210,148,227,10,84,140,14,224,17,146,11,65,254,105,117,49,94,42,202,166,205,19,2,100,143,19,165,114,55,149,229,235,96,254,9,207,65,180,167,222,97,16,138,37,84,160,132,193,164,203,81,250,85,199,23,133,37,141,215,212,0,31,103,221,130,115,86,39,214,61,65,105,119,66,121,183,155,241,155,214,175,35,43,71,206,10,33,66,226,138,212,195,101,154,105,69,138,186,103,83,104,220,151,35,178,244,224,156,215,147,3,247,225,53,83,1,196,86,37,195,130,42,16,132,0,23,200,225,234,78,98,154,195,180,177,13,131,11,77,23,84,7,149,241,186,22,168,127,13,141,13,242,236,53,199,101,127,2,44,30,106,19,224,28,216,122,252,2,189,7,59,10,70,129,246,243,219,216,185,155,170,141,33,14,148,147,182,126,213,133,77,89,2,16,125,107,152,133,222,105,240,248,161,234,119,203,173,120,61,142,203,237,247,179,14,120,17,146,109,149,35,166,163,36,143,176,249,142,156,184,78,198,25,97,54,34,232,56,147,156,104,91,186,31,93,68,32,95,157,61,243,233,213,228,82,150,26,214,66,147,141,41,195,214,176,163,46,77,182,165,56,73,112,117,237,180,215,85,41,116,197,42,26,178,131,70,43,92,130,196,189,117,129,3,212,47,226,86,179,232,31,250,239,142,238,137,144,138,187,23,40,14,237,121,40,120,240,120,163,71,207,4,221,63,231,150,150,76,16,139,77,123,14,47,101,223,213,96,102,98,192,159,19,183,33,176,139,128,135,187,253,143,224,129,127,38,180,18,73,42,237,170,47,137,169,10,158,174,235,199,30,123,223,216],"hex_proof":"0x073d920f89d187efd317286048c42660cce3e570a1a459038d0d085b448341211eb23f32715957f781ddf2e6fbd0235f43a92fdf249023f1ed413cc8fa991b46035ae651a35e3fe079374cc937c460c6605e96a922bb9586204103ddf0bbf8641ceef0071b0ba46df29ad3661b19c3a5d2b8f786b71b14dad65708645bf4fdee03240f7b905f2c107b99ff1b49ed7e9000181f6e2fa1aa774692c8b4aac1b2df12b46a4117ebe66d6b7d2d93ed0180960c32403702b44d8409fb72c960f246d521cf66249e33b90c1576913f05af51a874df274f9c07a723e730953f142a9e3b2de9a88e94d2015ea6a4dc2935cabdae074629d706dbd753db6a12b49b55b66e27873565e7935ca6ef0e0ac11f9ddc783b80c22de6545d104bb39f7523549720098174bd85abc07bc393ff2b8799e41dca83c5acd146406e248cbed213d6be5c071efdae8d20067f2088b315d9326d7895f780a787653c95d2d7f2ce6a303c802fe7321591fb3502778b95a493fce9400e16ea6499eb6c0162fee5994ff0b08c1884fe924585cea468962c163a483eb7566d360e392428476a9a0f1037f8fb361fd5b4bb693e7ebe0de3cb54a1733f6eb97fc9bd4b3603978927cee05eef8c252aafb5556f964394118078d0e5e8997737280d7e015baf23666b096615eae0f408c6b17f8d8f559922d02562b94c4b278d58c84346ecc5b71d35df624bf169ac0b8fbad08f2014e967ba717305dc723997b0f039ffbf400bfff5bd4d3f04be3f0cb78131d51a22b703e6ac172175f059fba66501e5418eb078b65e669807cbc40a53f53a512abc31208d9d7a1336ed750806e88d677458b52249af6524948fac09197329ffff86cf28a6164ad360d6c30b2671ffa23dcda5c02f8a97a8edf4f40de4700274953c7b0adc9e4e642765e2619783a043eef46926c89f69cc03bb4e13baadacd47aed86c5f5e739544cbd3ee40484277f338c0c4b7a96c612dbb09e1c7eec4c9763ae2fdbe19ff3b6e9d227a16d913545187476e6ce5635c5436e8313bf25d51cadeb8eb87ddadd7fbe9a073a7041e56ef0d9755937012d50cea54f07181e21f0aaba5f1f0907ea8613eb70e64ca0d690b51b314507cb3cab50593d11edcb777dc77c8dd0c3c824bc214da92dd7b730df91e06ec99ded2d372c73581b7d47cc5aa832546e21b722b7bfbf7bb237a91107fcf5f2c8eb7a86f771166707bba91eb2b2dd34ea1c32a05085f8e55893eb5b1497c42e7b35b4eb732ce98a20e477f1d98328495c089033dff80ac98335afb74dade5a0699d43ab0d03ffbe14d3a3946e3d0a2262a563542abce3e03d55a01be5f37b080a8a61bc1f57d4240ff9de6a87534f62a0ede0865172008a521a8edf2ff0067649754ffc81c550d52dd0d4348054119e9c9fa1d8162bab5393df88ada978d20bc37f70e2ec2566560b6e9625a8785db2b64385502dd7caf9dd058bcb41c5068b7604cabd98aca669134011844392ac732228678b3bfa340fe0bf920496cbd5d5646bd24d0a4ecbe421d0a2f22e73fb09cc8ab542db7834765981f7eca2c2df5b656e5a594d4d88f12e307df110a70bb4306b61a4a016fa67c0005e415ab53178c462ed31388f608e1efe61e76ba18f81867e524093084dce151b53f82c4f931753d3978cbdaa35191f31d46738d333142c225f5325273b6a22ead726b44ee175b2b0ddd45072efc408dd4b138db5e5de392a58932d26a9282fdb776e84e4abaa9c415143aeb9121d03e9794c1f276b20d24c839cb8e06db6decd548d6252d83dc92c5949e9bcb45b1efe61e76ba18f81867e524093084dce151b53f82c4f931753d3978cbdaa35191f31d46738d333142c225f5325273b6a22ead726b44ee175b2b0ddd45072efc41a991d52385fb44e3ece6019ad3317bc690b4ee95bea04b38be7e5b6db7d4d000e18b5cfc5e505db8c753690c649bc97af87210cb4c3eca8f84896ae8f6d74511efe61e76ba18f81867e524093084dce151b53f82c4f931753d3978cbdaa35191f31d46738d333142c225f5325273b6a22ead726b44ee175b2b0ddd45072efc411d836b139349c0a5763e0af89d0b5e657360d167a97eca38da6bdc1250dcc212d03f65c4f3c0cbbd9829bf5a7565f0f34e534b25a7fc58e2361cf28f8a2a99127a245c5dc9ab5c49cd6851a93a3923c19c07df1aafc28d8e7705dd6f849a39f232a9e1a60ce95f0d7855ce397997b811e8cd70439025cb54090500b87e9b925119d16620f203c3d2ff3053d049112de0a8379002af727498d4494aa106133d90eadf994d2ef6a5cbcbfcb180afb5fb63bcd4c7ffac77dfeb03a505c3a9cb9c510198dec3420e0b8beb28edf01a31e90d67fbbe41b624ad2887063adfbc3b74923ac1b2dcd8dc024b1b78641c80e9b0bf26a1a1afbc544eef71a72149fc457390f1551c8567263424c4a6c1c82e5d4eaaec0e32bc5a2923b0c3f8c1a81de230726b5a68d36c76cff11c9a180880afd852edab4fb5b96ceab811405f11e5635041e41e467709af4db4ed904f973d6e965e951b01c84d6e38f55ad937f543cb47d1235b5a0dfddb55ade08669c499e2095ac6372d9771e830f2be321211f416c440dbf3f66372bd0dcfcd2e1c044cf05edd5f2a1ede382fd124e6c32736c68b7301e83154817b5193f4105711fb6a279146cc1b72d98da06cc550f54ee9d8dc8bc1e33dbcd9af16a3c8c710da8d75e55464e24d56bc3d7050341f81a468fa9b4622154a2fd688ae7d6618f58e08c07e82a3ad61d7bc3609d274915a706bd99d25d189c7478018c5ef5ff928e9c2b86dd97bf902f0b94a2b027b3d82b1befc87cb61ee0aae185bfa7c2dbf709268a2339eb9ab8fe24bad9a72852fba0e2bb836e1715629fc9edc662547e001b460e9ce6312e8e6461b29203cd7b8702da772807dd1018869001a30dce94cce2d337bfd2a921953616337b8bbb0bb02b82d120fe6e2d09518e781c53f3b3f885d7e89580748f50bc3d4cad7b9045e445ee4b123036055668cad8d18c4bc1eb504e76580392df9d541384fc45db34cd11f5350d46c12d9fefc26bcfee56e06c88f02e615016c5ace3dd51d84327df3465b6737b5ddd0e597d98da67769e61c945418a9a4a958ce9965b922c0ef1fbb89d854c5f008c029899ee40ef55995f4eea1b5b4e33c2682ccb69ea4c4fd8892928e5933bc71002bb883ef9164843b8a101d26388a8444a9f62bbb943217afa63d3688dcd03f60f63bc012ba7bc592cca9856a879f4f0f14730da4e2e10273ad0387739efee0c0f5a6a0e13b4d8bc854e8ef69fedb6a6b31836c558763b8d92fd065c9e2c4d07218c9da5ca3c1f620ea363a872c1503fd337d0842e64441588daed2a798ce8f212613e28c6d747d6549ee6d45869c19f4128f95bf3719d924b1a6988552e70a52e651f4b6c77956546902628ed9051ff413b2721fa5148720f9bc34ba152bb9d003e88b9f6ea695e0612f9d9e5c188c7310a8993ca4f7f5b3437c71e94abd5db218c9da5ca3c1f620ea363a872c1503fd337d0842e64441588daed2a798ce8f212613e28c6d747d6549ee6d45869c19f4128f95bf3719d924b1a6988552e70a5230c8977e57a7d2c787a69f1834cbad2b05368845521721fd59b5f8ac08b4f882426c1fcd9809940f6af13509f20c393bcdcdab5886b90c131c113474f230f4c218c9da5ca3c1f620ea363a872c1503fd337d0842e64441588daed2a798ce8f212613e28c6d747d6549ee6d45869c19f4128f95bf3719d924b1a6988552e70a515c5a6f8a87ea66e0afc027ced1c765443345f556e1ecfa56468a2b2617c948c28a4fe42497a4648f3cbd71aa71af5298460e5c91bc790b94ef04c4277c0703e00e3f4f7a44cc421f3c8bce95d82d9fee18f89c959b055e02320d415e0cf955310bb85de443546ea30b3f0799478ff6c566b26ed05acb5d4473cf3a72362507e1571776450984a8b5f14f289680dc62ffdf923b62557711b5925fecff8cd756a1f9910eb0548b56a50c52566399449da0a45f6c40610d399847c5e58ae826df01bab392907efb5f7a81c0ba06565e559c66afcb42eb63664a5e6fa792c01be15237ae535b2d8f13518f18c9fecb5fb2a61f9d9ef20eef9e6677ab1bd19ffdc191a641e665e12e0514dac8ff14ee2affabc5f1bfaf27c0dbbc0cd63675449b51c05b631e867bc0c9ab46017d4ab5aefc5b534cdef2e8ea724959b11ce0b886e0e23a99ab43341909bed675a1ccb8b87a0585fe79b063d70c6c57cf33f0d0db36c148ccf5422929d0945c8d8dfaa3195c1e6138e04c4179458566a7f318c39481c10bc6e9228d8b596fa947510833b4878beeae59bce26a8b7b5dd320f6698a1081c72ee9046c3756754834c927e07a5ab51d81eb1f67ada10a2a0c0c38f1d06bc111e4f7a0e5a96cc6e7d4cc827cf074aedd3b08f9c0b14e4f59082811822846a0359d85fee47b202f0716a0448453a3080c6cfdaff2367eb3700e71e9214870a186fe1768e62d1af47ab85778eec42d9dab1bb79ef6ef9dc8111f45a12c7caee18f2147c21e19aa942f995b2ef5a4fda7cd250a38c15fdbee7dc7a15cb7974dc27eff038cb05ce9bfa3578a778eb385bb413a55841faf83ff8b1a3a7ede8bc301d8fb168024e1188a02b1a12999338295293f06b25c23f4778d161c431c3fd7317d4983799c49568c47c60f374b950ddc4f8e808b2b9638afa5939487192c593196b6971dd72b8a2e9eb4e0679a4b0b424b20e4fdb6efd401b4bb3aab9f8e3ce24c3483762797304cf53bf7781acd7fa3c24296c9c670dd8794fec127d075b702d8e1cdca572f836f0c82e1862586d686de88e85c4a54fa0dafb0e173a6c00c9233cfb165490a65bc58a40d534fe4a48762b953747cd88e6ee44b2e530fa2dc3096284d55fa9ec6b0fd2a04a4a4be093e09cf05f2f911cedc7e676c14cadfb2519e2ed162f69ae0590e7f65daf754d95b2cd423592ab29325e6415e048eddd8a1d625ed628b02397b29f59bc06a182a9ac0813e2bf9fdc83d01c3433cc5eb97e292374b1ceef339c5c4bb84226f21f25394bcd6447d1abcb8487d327bfa537000860e32c1f37495325b41a05026790ad712a3ab768d428545113ebbb34a1c3570d456f50e1d3f328a5a1f597574718935fadda07e7854978a222b7ed88e0ea841693f66b6d0751c4bddaee451c9bb6a7e7495180cd318eb969bfd43ead2a7f020891829046713464eff5264086d3fc8290043a758476d06f9c231b78238d9d99303a8f16d00760169b2fccc4cb16b7d2fd28dae30b564311939a5ff386d521a514047432044f6b00d90e3b82c43c3eeeb290e893225eb58441d01185e9feb13601f03f52ceb5baa13bf478058b4ca47dd8ae0270b9051e44c983fe484c0cd00806147eee1881593339a8e6010cd20c9588e6f24c8c9e40c4c608c49b41e657890e56f99f56a4ddbe90aa06a0ae33c99af34aa5a81f431f428cb60de4fa855fd91a783e34fa159e0a2e392e5f220532fe11babaa8bd8a255159da9919587a010b0f3db9fb6cb0fac1375dd1b879fa2e235b7c3cc6faaeac38adcc2c89c18b513816ac6e988845febfbe337b320e54072a5367c5175ed019725effde2ff764e8be02d095f865e0cb741839e3becc20b3030fa87ab667bcb3e626e445cc9162dd382e6cd3bd6e047b31867175bf74212b7e6b7d8cd5061703ecbbf7ba4326d3a5902ed9db0d273941c42161432ea636999c57bc907d878c95fa7d140a1bbcbb2f2b17595b2ee8622e2689b87d488116a7507eb849fc7953de51c89cb8e9eabab721005b8e8aa24243cb3313feb94292541f9dc335d8e9cc441ab75f620b82199d5c1cf1991745765232e3047d96f4f20b5a91524aef741841ed8beefd73ace2dc6c26cd7f7ed511c5a1e8dc4a2158fe31b32a14c386ef3e814e7576c1514858df6e00550f29da350e2d109acee466dad0b78ae220c887a731f3dfab8084bc0e552e00550f29da350e2d109acee466dad0b78ae220c887a731f3dfab8084bc0e552e205dd51c1da790c9599a73f3761a8181787dab85c370ba92a592721fd85186fd205dd51c1da790c9599a73f3761a8181787dab85c370ba92a592721fd85186fd1e02529f4511c0b77d0346d1617e1fdd2b5125e642f51a75bcb14d0ca91bb40c1e02529f4511c0b77d0346d1617e1fdd2b5125e642f51a75bcb14d0ca91bb40c1a6bd1d5c5104244eb87fa134502d9fef69f80aef7ad6d0e778df647a7f262871a6bd1d5c5104244eb87fa134502d9fef69f80aef7ad6d0e778df647a7f2628722475846562ce12816350f7b6677989192ecbcca4b3cfabdeebc1925d42e276822475846562ce12816350f7b6677989192ecbcca4b3cfabdeebc1925d42e27682a94adc8f4fe838370e0f4b03af6490364b2897a5fb44cb1337e8a37db97dffa2a94adc8f4fe838370e0f4b03af6490364b2897a5fb44cb1337e8a37db97dffa2c8972a2cba9dba9c16be349119c171c1d87e814fafe571e7901d55024318dbf2c8972a2cba9dba9c16be349119c171c1d87e814fafe571e7901d55024318dbf2b8c5126dd7262aae8c22ed8cd8351bad6ef404e543b8e7ea710d918c007b1172b8c5126dd7262aae8c22ed8cd8351bad6ef404e543b8e7ea710d918c007b1172223e49908ce1cfbf93cd4a97db74ccf9836bf19b59699ff1539a0745396e1d92223e49908ce1cfbf93cd4a97db74ccf9836bf19b59699ff1539a0745396e1d901fed0ccd20ad3ffb8fb5aaa47992fbb107d3ef5587d1d50ed7c6f8f7e308ffa0000000000000000000000000000000000000000000000000000000000000000019a2a3a7cc5f56d3ec5624ee81ecb8a86edcc9e3afdf39c15fd226f0ae34af400000000000000000000000000000000000000000000000000000000000000002c3b01ea7e1f7ed3b4c1469fd7b2173db5ae1aad7c78fbe59c08fa1ca25259f728212dfdbdc3876bf9f1994d7773ef97f2631a16e66415b20ec56721065b982500000000000000000000000000000000000000000000000000000000000000000b8a178f56f684ef221271f5b500b8b48f3a07457ddd87a8589a9e54d36e85de189750bfe847e4cbade04a4fc71346294d2dd29a5fc573f932eb3b603f176c480795c7a3cc7f412f5841e9252a28f7c7093a655f8f7bd9ac4ffa9b772fc2cdcb1203489c8df3886e8c596de00b16ed258caa5b6057edb0e230614339a4db1da602373b5464c893052325102bfaba1249f2e9b6fc2ca1ca22672daa6c9c6e489d04cff5452f673ce972aa108719e8e031d006e6408c8cdf76bf937c8633ca4a72086ce3c9648ef998f1e7615eed61b8a5c86a1785737edaca270ff7ed06b862212667be8e7752911dbeac53944a08606df6906a38623256e7a81e77514541b9a12eaded341eba9cf939eafb326ce719fe33b2202ebc2419cc919f68242977399a202f69f3ad275345139f2b5a89f157984541292e8a23d333b7c337302a8e301913d0419d61e9509bb774d6ccedacbdd741a3c50370762ef5940fcfa5beb9b05e169ba547a7cfd6b4b572f77305352616dff0ed4639b6080096f974d7f47d6b681cc0c0374a5d46f23da62a7b8c171aa2b487ad5089d92b326f2dd58fe6dc2d8d235e3b662c7e3afb956a5273bc500ddd65a7674ae8a0bc2f8bfc7f1afb022115243ef0118c088d4f5e3f3a40d7e923927c628e6784d2b7838782a2239acd8d6c2e45f5c2d40679a885ccab52126a2632af1d6b9c4484dc5a2c0cf42a5ab4c8e327974c317118b9dd85176ea9b82d6e2b8ae3ccb0b4c6076b11411f829a6e884c06e31b4bb04affa32a86df043a4c71db8f02f1f4be28e5c83db7028f9c53fe031dfae4f4efb53a95cb433837766a0c0d534fd7cb26deb605718b859daff5fee51a7ad6ce7a65d3addad888ae5d9d78f7e1e60bc383e6b24e69861847d89b60d52e0a5d49206eb0546e55e5e57eb818a51ccf691d449214ff4327dd6aa86aa4912ad32adaf5d4f0ffdf93bdca0408bf975fd8edfb070fcabfca9211753145a9d223cd963fc031994288245163b48008632512bbf1c6ecfa3df2a2b1e757a59a8f1c46a91a650b8e6d8c814c32e4ecfe29ea2564b423e5c3f9fab9e5ced037f20918468e8819a695a5007a925a5ab3e528b87d3142eaa1d76c99f09590c234398a0db599457418b5fbc7bdca474265a8d2f5b886a55c4af7208840213a794602ce057dc685adf86de91f1d3bd35748fcb0ec16a1ab1bd3caa83f3c73e2d1cfe8c823cdec7b4a5cfe4f0f0c2f55c82ea9fffe90fd0533bade5271437e899b474a1515c2eaf40c240c91416e60c846ec070c3034a4ccb7444162097231b854f9d05618db850cf6e79d14e406dbd36275baebeffd6850a166549036a9b1fd2873850710caf6accd242564c518cea900596b9a84dc0bd3cd074374b2ad2ec0cf97c9e72e1e8cf3989562ef47150d2428cec3e4a036cbaf30bf1c2e5302e6035b5696730ebcd4a1623cad68de89269d3d91295dcf8353dcb9cd99b1b71f02b802f7abfb1fb2dd1adead6c324f9edc69fab5c2b1774a997aab4d1a38f4199fcd158edcf70a3cd05a3684b6b28bb4061634440283526241d03a32cec396d5e0bcbb154a8b29f4b6acac876a1adeb5b3e0b6eeb1ef85b82026c5880997e3e851981257f8e509478ca90a7bae7108f36888ee198de16ad5783058d8f808cd463629d120cfb700d08bc4bd1bbdc46d98c66ac14141df323ea007b6981f7704b918bf4e8d234a06732dd3518120e47f9f33ca421fc5d3ec31be6dfbaed4228a1d935957c1047d2242cc88ed5c6f39c91cc3bb88d5a4c78f50c0e81ce9945031cba4c7015a943415c79654fd065c7f73d4ba3c45c70fdfb372e207c43bf7f7889cc80d4cadba870c1a277b7f8fc8a371dcf0390e4f400ab688dbd93285beb7a98125fb3a5c91e519e0400fcc5528eb5ce20710fd71b3b1bff10b7aee2610b78627a1be1f654e5e01262c4fe656f47d4279945575604f5e8061c548704b068fb554fa39df06f1b30196b387f0354b6fc8bccad07e0d40884e95b9dc722bb50d0e6ff230f2290334202d3ffeda7375f2bbdd04f374507ad0ed82da52afbc0844f9ec935b4063347a1a3d305edf1fa7f0a2b8e045dc8e0c70a58b36c965504a7e9076ccdc34cb7ede0c1a277b7f8fc8a371dcf0390e4f400ab688dbd93285beb7a98125fb3a5c91e519e0400fcc5528eb5ce20710fd71b3b1bff10b7aee2610b78627a1be1f654e5e01262c4fe656f47d4279945575604f5e8061c548704b068fb554fa39df06f1b320ecbf1a164e206b6799f507f93f1e01623df28585f9db256429fb87ed56752a11ffe0785b239678f057e049e0aa5a5ca8a558477aabec59bcf8ac5befef0eab0c66c2281a88b7ca3a0d3009ad9eb8e33717a94afefe6e9691e220793fcc5e9d0c1a277b7f8fc8a371dcf0390e4f400ab688dbd93285beb7a98125fb3a5c91e519e0400fcc5528eb5ce20710fd71b3b1bff10b7aee2610b78627a1be1f654e5e01262c4fe656f47d4279945575604f5e8061c548704b068fb554fa39df06f1b315f7b94b030691e2ee2fb41b75e2433fa8413a3fcef0adae4c821076eebddba4266e4d7623af24c6ab600d879437740b4a822ef719f04d34f6458642be7aa63022521e8f4b66dcf6c1df1e44f432e436685f596140812b56d66e7e06cc9260340387179059a6142c6c4f0b5a411f3f340aa2b1196755e5623a3dc0eb4af3d8ad1a24bc8b0e830abfda6ae223239d83172f20c054f0bf83181a54e16271f5986f27a21083b8314231582d21973db294bfc4df70109da2dc36ad743d9a801b68222f9382a461fa630487afa420ead18849171486895a7493e011265f0c83579daf23779c7c33ee39caa7e64554e647b7d1d4fab9da396a5ef5d616f6f251a3947b0ca718e43a09afda2cddb10196763ca7ba34055e016fcacd47da27589aaf7cf10316fb95454de17638094755bd4e9ad19b5977243cd9d119c4e941ce32b6f826051084912a8d89a15a130410028744d5dfdb386f6bd64d2c8a33f01d3063269009872407bd193956e26a20bb06d9a722788d7af5dff03a2ec2f9578ed5e0bab613000d0b5fbf7b4b12ba4f1e7f9e6b8cebb079f34a15a61855d2223d7c6d3fb10599106f56035721fd68d294e30a548c0ee011920b41fe6975315e2acaa6cd1302648f13a5723795e5eb60fe09cf41b4a7de61108a2554a084c1a4cb51fa55c71785258dd7d4001f67dd82735627d63d4169774279b79bf19bd6af232b47ce0a2142e28ad4c3659a69458aba675368dc9723b2f4e09cd79303f7e1355301c45625c3822a10840017c8e1ea4e629ac3b4b10d830b4d17540795f1ba16a87f0d8d0df2ec35c7657f022c1e6a13e01cd87afc02bd073b0a4681f6f3dbd8b99baa8d210e9493b67ed5854d5902107d6b9885de69f0f8a1ea77cbad783d8ecbedf7b30e7811926d9523a6a3248fb0f98e9cb84ec619613622e838939c685bba1f5d44205f9d3df3e9d5e452961ad642938d29c3d6b0a32e4db6a538497075edb4d7552974c52a1ab283462b5c82c4bd758103d42fe256b3e81ffaef8eee89908abb17280eed792878f078a347cf04dd3fe796964c108b4d7b0e2f65dfd5606662c09f13b721b08b8087bbfd8fe0817f26b412492aedaa2f89a90a9eaeebc71e7bdfd8","transcript_type":"EVM","split":null,"pretty_public_inputs":{"rescaled_inputs":[],"inputs":[],"processed_inputs":[],"processed_params":[],"processed_outputs":[],"rescaled_outputs":[["-3.6328125","-4.5390625","-2.4375","-2.2890625","-1.515625","4.734375","-1.875","4.2890625","2.375","5.1640625"]],"outputs":[["0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffe30","0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffdbc","0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffec9","0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffedc","0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff3f","0x000000000000000000000000000000000000000000000000000000000000025e","0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff11","0x0000000000000000000000000000000000000000000000000000000000000225","0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000295"]]},"timestamp":1743014500687,"commitment":"KZG","version":"20.2.0"}