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 #dT ]I]Sepref_IICF:threads=2elapsed=81.172cpu=139.320gc=4.756factor=1.727zXZִF! bd)]ŗXf1-/6vR[O!vې&-wT]ïڀ8aĸ!BIu!ď4'p5>87cQd$D#m* -(`(9w"Jzso_`\'3sUq_2A1Hepb Ob+3GtdGM!ۃfR.|`4LT,Ey٘˳2cUSg 56M+ = gY#t*Die꿴2OZōA"Cl$w3bOd1pטmRQm˰IQihHޔNݧmUɓ\8NQvBa #,:ZBK7jU|/DAR}*aCT$+C%[5/xiEGfwVDKz^{V~&`^cmlXnax(4WZز^do7ˬ"sIk>hfW*F Yp.vh 'gPd!&}emc0ٶ@v5>loKcL&N&ڈē9F%tW2jYʔ\f{ v+.Sߡ7.UNSjcXr).aCj*˟~%?BS`dēȄIkRq2]^5֗>sJrW4I_&)$/}kM-`D>kY;(I7pPk%^{іds7D~3R}ayi{Rm[(HK:qưzgSb$<]p͜S"FDS?[cX"vo(ELAH g<| tD^i;q\v]6%R){/â3%kƨ橯U8P@<-{|82No?m``SK֡l+&v1wR,Bmq3ҨڇPrfhٸP!uXCG50.$@P-GY6VQ+Y[-./˵kzjʸqjwEHhgp&7\/ω5[d5vNI\#ۑ2AxiӿJC=ݳ<$#ԻX' I\ iT }$:2F:q@PA6T^ 9D˥7lMȞ^tl'$(Y@]2 YSsRNG*+sC!]xRMv3+Q$(00wqUa Mb&Mߝo!)܆YSL&obw&Z1=hBÐQ1+`IE9( ǘJ%/MMu wF.4t.W.5}*nFs=J KBS8W@N@N*8'ؠֺ&y&24Z'3in\!Ēݛɏqcn*LS+#4a,r+> 9גLl|zmJ7׬iuA6B& df?Uܼ!XHCkK(RE{IM XXE.1\Q֓]G"˳[^g)5ݕud'64d=h4FC2ĥW 0]DA'!qKig `̶p{C>1g;Oes G\`RX:o̥QР+WY &T"sId4`$p6\/"=a;d5ƊWo-<|G{~8-*-w&{Ƿ_ ;=N61RGE]߭Kx"29%?"U E0LU皲39m2 tQnJ+ ī㪌0qG# v2_ݦ 8 0FYwQmSubբJ\b![K~[k 7=/f)(_5ow9U oa> ڣʒiTL%dV/\cOSvüY;pj$fp4E|g-UΖ"s!U GVY\d|85ۊGB$Ⱥ9 KZe~Ĕs-"?i#_l] %FH4-Rѯƈd!ȳI7X<&=HXk}e[Pk-RId:4Uy%۾:$=dY{O؛BT ҋvDoeQͣPϣ@o Fxa:ϒu˵9X> HEk@n#B'\TT1a4GV[5j8n- D/v${@?x>-A0.V'2 4*;ccILImvZ9hO?ė\̍ގEtp%Bj[w>9T'4#pIo }҉aA^Q|KDk)29'M{W Q fݱzu=V䱮LiL"DQ l Ii.cI+_뻾[@ϧ ЕdQ_˄ U88'6tjITA)~P5dB8W^_X ]F#%WDS=`H,j>Bl_Z+ؤ T)SSH@)soT&$;s ł zmP=6wRBy¤x_ i.b7?s?@Ԅ?qti%|54"D6&ҺccZU1#W~%>ZOӮ&|(wjnu!Bк<ù!ڹDq~ew y-Tbuҍ`1+ushb* >rq1QNbl `=|veWư(aБHB!NEb2N? ":òOY:Dv͹6&]L)43pf&cy+]a៙O`F <Vb Wti4b+N#H\0L*ݚH9ݣ䨍<#_!04q h\< ` >Q!΂Odr(mxD9vF|Cb "((sR2ǽ|+Rw?F Kl@9b ݂nhkE:S!m֌7*}Q%3J_ m >Š@`&˺z jF캑.M-% `}N%Rh r|ә,3g 5/ 4 JXXkV[  ȶ*o{ T!5@YFe(PX{ &3jqjAf|v!s-a;&[_pGɠ^sh񕌩١v(3xֳlOxv4G'X&h"vBs[>gL1Nfz!&{r7v]H6t͔Q" >L6YqiDL@CI"&TvqO #+h !@`]^ʣ%؝*ܓFiw⻱y#C'%z|AW rnMvv]~-OX\*"oƤN\l¸@)8QヌZl$m;F@m]0g7? ݴ GP\7;y}lǓ$Xi9ɛgVi*"~cG RTtΓw73%B})_±gYZ85a60129fb69bc08630d4b3cedd8edc46f8826eb19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 43dc33c565108d02c859e8428b66e59c7fb3ed85 68d0d0c9f570b3cbc07315ea771d337673ba5e1a e023ce42e89c3153869085e4f311eae379f89a53 26d361baa2084e8d7c775b8f7ad4300d6040c305 cd834e517979f802c6a380d8466662fcf265922858bfbd16d73937fca7d53cf08b27b28f9a31460c