13 2(abc) 32 4-dict:2- 53 6[true false null] 7(abc) 8true 9true 10false 11[true false null] 12(---------------- get array ----------------) 13(a) 14(a ->) 15(b) 16(b ->) 17(c) 18(c ->) 19true 203 21[(a) (b) (c)] 22(true ->) 23(---------------- get dict ----------------) 24(a) 25(a ->) 26(b) 27(b ->) 28(c) 29(c ->) 30true 31false 32-dict:3- 33(true ->) 34(---------------- get str ----------------) 3597 36(97 ->) 3798 38(98 ->) 3999 40(99 ->) 41true 423 43(abc) 44(true ->) 45(---------------- forall array ----------------) 466 47(6 -> ) 48(---------------- forall dict values ----------------) 496 50(6 -> ) 51(---------------- forall dict keys ----------------) 52false 53(false ->) 54(---------------- forall string ----------------) 55294 56(294 ->) 57(---------------- put string ----------------) 58(abc) 59(\(abc\) ->) 60(abcd) 61(\(abcd\) ->) 62(abc e) 63(\(abc e\) ->) 64(---------------- put array ----------------) 65[/a /b /c] 66([/a /b /c] ->) 67[/a /b /c /d] 68([/a /b /c /d] ->) 69[/a /b /c null /e] 70([/a /b /c null /e] ->) 71(---------------- put dict ----------------) 721 73(1 ->) 74(---------------- putinterval string ----------------) 75(xyzdef) 76(\(xyzdef\) ->) 77(xyz123) 78(\(xyz123\) ->) 79(xyz1234) 80(\(xyz1234\) ->) 81(abcdex) 82(\(abcdex\) ->) 83(abcdefx) 84(\(abcdefx\) ->) 85(abcdxf) 86(\(abcdxf\) ->) 87(abcdxyz) 88(\(abcdxyz\) ->) 89(---------------- putinterval array ----------------) 90[/x /b /c] 91([/x /b /c] ->) 92[/a /x /c] 93([/a /x /c] ->) 94[/a /b /x] 95([/a /b /x] ->) 96[/a /b /c /x] 97([/a /b /c /x] ->) 98[/a /b /c /x /y] 99([/a /b /c /x /y] ->) 100[/a /b /x /y] 101([/a /b /x /y] ->) 102[/a /x /y] 103([/a /x /y] ->) 104[/x /y /c] 105([/x /y /c] ->) 106[/x /y /z] 107([/x /y /z] ->) 108[/a /x /y /z] 109([/a /x /y /z] ->) 110[/a /b /x /y /z] 111([/a /b /x /y /z] ->) 112[/a /b /c /x /y /z] 113([/a /b /c /x /y /z] ->) 114[/a /b /c /x /y /z /1] 115([/a /b /c /x /y /z /1] ->) 116[/a /b /x /y /z /1] 117([/a /b /x /y /z /1] ->) 118[/a /x /y /z /1] 119([/a /x /y /z /1] ->) 120[/x /y /z /1] 121([/x /y /z /1] ->) 122(---------------- _copyinterval string ----------------) 123() 124(\(\) ->) 125(1) 126(\(1\) ->) 127(a) 128(\(a\) ->) 129(1a) 130(\(1a\) ->) 131(ab) 132(\(ab\) ->) 133(bc) 134(\(bc\) ->) 135(cde) 136(\(cde\) ->) 137(e) 138(\(e\) ->) 139() 140(\(\) ->) 141(---------------- _copyinterval array ----------------) 142[] 143([] ->) 144[1] 145([1] ->) 146[/a] 147([/a] ->) 148[1 /a] 149([1 /a] ->) 150[/a /b] 151([ /a /b ] ->) 152[/b /c] 153([/b /c] ->) 154[/c /d /e] 155([/c /d /e] ->) 156[/e] 157([/e] ->) 158[] 159([] ->) 160