SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [/ YAo=kN 4ܲemۍ%tU!|sa$KjtEÊՇO.kq]FmPqdiCo"VIvƹfU; H{E>Xy#1ZVrs- L;p/sѹ7M4SqU_E1&R 8p9H&| S]& =2I}k1+d xl Q8mYhd6\1q +]:7t˜D;Li/i볙 _h/OXi> `=VK',B)[ˉ1.o;$ty A{GmBCﴔeؔ+ Up"(Qﳠ Tv! ] _8Cml03gD {P_(eӧ6q F4:W|݆3K87tEC 2*gl< 7z"S}9ĒFꏁVL(ĶJ3;}hsa)^gzNfn`(z+gYZ7zXZִF! so]ŗXiɟ*#; )zhWfLpDl VqlږY/|Q'C"3?jH'8rYK+?c$zthiᎌMjp3eF0vky fX- eR k}as xr.G=HXnjq=Zvѧ$J3Xʘ^" Lal/Ir@qn.)#qk %f3{(D}ig=edmwu~̖?cKT!¢yo` b5ÍGN7>A7]7P+_-g9S$lzOTq#iFKZϖz8"]~*U"bZ+e"v-DqX$σᤃ.7jC zhM`}cM F.m_ 4{ }PXFqP)2Oy T4b"jsWP;ݥn{ M7CO 6DS̓@!ԩ"M^[ʰu4y!yh-5-iLb!D3r]їEKpgp5|-gwy"肠խK݉usЍQ d87dԓ~.Ou)z[AF$aHAE?iJ@Z]铘R euOnϛ8 |bQJo@I1dH8g;'yIШ9vǛ=g%&ƮDD##ZJ[!38!6iyRl'/ByX7FJͿ`WZ X})+-^Ǹ?{br4CW].)ل/f7;7UP[ ܊&E{J3^?`Ƌ0O5ퟓ`O^)wvVd3!{lM1wy'C0JmkR *`Dht}p7(imx\qy7Q3`>A8Hk b)O!a X%lG`L`fEOk_ fSQ,?٠s#FG5}P]wJ+D fJ]H`8OYL!ޔDS k (PD\5 , Q6,-9!>B?J7@&r tHcŐWǻ0 L(J3ayDfłrˉoT+ND5ApHEvN2E0I{$+7m-d-@m??M L}KdH!wctRtW 7N0LL R&]2bbjioF0"6"d=&zѶ[ 2 ď4 ;dfop&GMUk(H)PښvR9I^Ҏ,gjt8mVlfVM%J0A$;Ͷ?n^ZD4RsO)Θ'"#R Bi"2ӘA蔠i Ԓ~sp^"-BK9{3=cE,oDɠJ5ꢷG-ԆԒ`$6e{_bgYZef6069c296493c8e1d4a17627dcd6bbf0dd1171ff4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 / Dict_Construction