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 nn/ l ]/ Dict_Construction:threads=2elapsed=43.108cpu=57.776gc=4.240factor=1.347zXZִF! h]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=H&945ƾ@op_t8;| I+-SH:5(,fPǣነX=HÀ0~x6Mƕ"r3RYه aYNuKx".N#'iYMmy Μ{>?5؝˅ nit5'-J0 JJZaH>6Qe> (7w7喑Gs'B=w%dSm&VȌ^u1ޞР77l f *@pҮaϐ[j`6Ӯ77zՍ;Q> EH@#1==TIUAoԜQ ` 'h:yH)JIWJNVҥX2Ј*38Әc͍O{K2+!8~=n>bя3Τr 5ިmP&EVu: }6{dVK#&<gYZ7zXZִF! so]ŗXiɟ*#; )zhWfLpDl VqlږYW (_.3ЅgP* 1ȕ:k'qZrXnoqJCզ@!k A_JtATg.xy *(1Abk:S1C&$Ȉ<21y_o~NXZJc}T߫,g/8NhZЊr^8踍^V2?-q8ތ w/zc_Hц'8e:RWU,t/V-OtZ$RBKV\V3vy]tpLv@֛^gYZ7zXZִF! ]ŗXi%9#s+7OCD2:XrZ P+x}/i`yi$Wڴ^7v*˱Nw12bxjbƦ^e}ϵ5>KKXB .4-6j8ZĮ2KK+Ά7 (=&GRLh il'c ` BQ7f%s xh-E_%2b%+O.>WY+peuRu+SuF7cl)$4*`#i|/&b.+.ɶhr3j Fp*\ ];kvl_Uig)vU 姗M>3!xwu\.IFfdvtt#F +4$9˻:[epW "i谾7_MxJft.|.Jn6f@XAT1%e^p?6SGH}Ʋ PUu+irbdV.j;6&8mږ3M2өSSngZPPG` h~: a-J9~՜/w ׻t2r ʢ,tI\%?MAeƬOk{& +-n%7]VLQjZymf"c(y&a)܀N&ei;6"m;r_p=I>'ً?Ekf;>jn%5U f&R~5O9`LEFdБBTl! og08&RR$&CQΎGCUP>u~) F!&|gldmoI&-t:jT& ׄ%冝\:N94}߷t#yf =muW^ǻjBddT(tzQ&_WHR\lQw ծmA NUJ 0eo^ٟfA2HjWNhDfWSHD^aɨ;FUulwmpo0GkT6e"VqݘM!f{K_}ދ@}oYբhP4\GmA:yS!IN_f U5}4܅>deZ:(C&5a2%T̛O5}?cqe 5R^1/֟L@&=!k88jP`TV'[+f_e)6SGa4m[f-Ϗ5}LPK[߀Xb5j)lg_ %7˟K ߬:xA76{i? z|OSZT6IOu(xc!d` {U(.Wp9U+Xo߃Q4R~f,xeɟ;TY9)bM[t9S4W֥{."Ƨ VQ0J>p?&I”ic?X=O7i ^ˏST$lS蘩՝sCeH}0+]dF*9!3¡,6=:˽~DH#0gYZb765864aeee0989fa038e184ffa1b0a948f27be68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a / Dict_Construction