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 !1 T ] HOL-Imperative_HOL:threads=6elapsed=43.569cpu=63.368gc=1.912factor=1.457zXZִF! 0[]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0?򓜛f?H  pt&i5$lp݆bĬ(+%7iH&[bziHpajRbyzj&R:+o:>JOhH^Gc嶎/|D1\ߞ#1JyXCr+#MY֫G$~]Ĺ!$490꥔l]. S=g); ?]kGbѪi  1 HOL-Imperative_HOLR߈ǴwW˔sba,._iH)ʧ}έeܶ]|cEԢH9S0~2oG6 qjdpDeL=R.^ΣZB,{‹qU_EL"N5Ι.҉…aѮTBl9j0̾sf9="Q1ndXBѐ.E{;KR˻ɔU촢#\1 \Y`XEn@:./W22!޸t'BDZݯA|=9-n;=RGyDPhM ujlL!T9dhul >[,ԓ,,u7ѴwEdGc=eeu0jH#r ~O,L YAT!\ {i-C-䑣L^tc&  ]Q}s3ɏ9ά1iF_fXu['Ww?42..㙋z˓m\$fn!r4~ٍwlCJ;gь*F # $5,X Ֆ?PMpo@@0wlɮ3,лq(Mh}uu A,h{;޶-#bO vnv})?i}9߯g3rO/4(*:[ዅX ^uV[ZCA1S[ NI]ZQSCydbB8#"% >@g詧|VsP*\ I%ooj/HX-wgb|Y b.J0cX hT5ܽoѩc̿R)/A. m!:1aEq6`bј$6>7>zGa*Ȟ .$Z( I7B,PSr!G以3r>>)Q!ufII+W,JUa>r.Y~]A1Rqݤ +H"&"TB|B]Vs3i#ܚ6; lc/6`aBBI߿u>tF㶛JR=d,rAي% 2lAC:XZ ԕ2w9d zJQ *0,h;W$4}z - Me $y7<&U3/_CwoZxpcVBEza@:࠼Cx_C?A Ac·{2ߋ~ɣmB|l)jz5OgftX.V=Pt3X_HAHE%^fԄ:oaKwՖ*DQ#RsuE-ǜ@`#c҂ H>~bj A;i  %SMI73[^w*N.t'&rB&XNp_[7D./2LBj{Y0QI*7i?Ƨf sξt|'9u[ӿ>Z{HaA]a+y.E,PxVpO4eN؉{ͥR+l_IzhϤvz˓2yC}N* /s/EXlJF5odžg{͕UDΫƞ9z