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 a/ ǰ X~\uεr_r6:5Vx}c[͓^) _y _ v}֓}guu5x41ݭa4{tBtzns}l$fH Ҽ8( yU40%C  o+R}O`l5J `\N~U}!m lO.E; Z&pYWS҆k͠C`SJȪ"mNV OsEUb,ȭD(|RobK}"j rɫaCFPJ|fā'/̒ЯQnW)h6lM u]Fq*7 Fv;Dy<'8f?e塚F]EfUÀe(_q ٥ rrY#Pt5bSvJ~t}.PA8"g"(O;b!L!(x'CΥJER*63z$Exz"9YJH3iװ<Ԩ|h|@uS]H5$XhQX'Uf<;†C5c,6&VY62~:>(S`+6F@óE-FV}J6I胇(bf{-՛yz"1M?߀ b<Sdah ~ZW[3[KvђzZNWo=G0MfVh|L_qxK;'ߙ%%\^xۧ=IO>`)3~ʇ R KCq[>B+!BRS]6IcvmXBa6o{ں3QyK~d}/zΒUǚ4:T|̙,qQAh" DC+z&{PagScSJX(&΃I`gdv+^  N^vm+$p&DkHB u;M>mE4c]kzـoJ}/h}$YY:䇶5qI )qYn#'nX\gX:gaDVthg}q#rta6E u !q8K: =P#NP1',`_l猿.9>,Xb_5)]:|4\(Ή$¨(~P$5nкz/Kq4{Z2 ( h )pޟGQ!~+z_mmUJv1jubRn_UZ$錖c)lK΋[D_=#>\Be> 9F)9HtyL/%Ggnsd;PxD>3!d]C~ݗ{?j-^761gḍuV2@A W<ޫ`Eԑ|dwZ@Zr{sIѤm| ,u(uPpTx,VzYCYK>iCP3oDjY-5F gYZ7zXZִF! 1]ŗXiɟy)BcTH/n Oxsf1_վ"I/5[Q{nҁK>@Kbb'(ZP[/Mj8LtGj LzqOv}ƙ>MŃM՛c9oO+Ih+.0pva#S.{ߥ.ʌSE7"FXKaKvHćTnE]i,jŬR[m%POg%``jS Dž2YXd67Iv>06ڔ#;*Ų]Y8urAZ (7:At `8^7Ela 4 )iIbCw6$L]ګKSh;vsh8.[ĦW≇h4 :`|e+wehZǣ ;}U  1k,Ei!^,|kUrWE-őVWNUveU8jKW= (b"ߓ1 sb)ވ)~hGQ[9͝뿕IM'>%e g;!0Q uA`SDe+uLN#7{ vxWFfJ9b4ӥRh,SDE*"FSr8@YvԢTӧV:-P\ >K%ԄUvr#uҤ"ӮkoewNY")E,[H@V 3EG$QT++&A3/2BH*$cSu;b3jU->EKZrV6h Yo.e?-qS=/RH:0{Ȁ^ ? *RINPP79oS#R][jzvj+TJ R9j2Nq~O' 5!:8 _C2GS,U!5֪5:#xRǙ eq!!oJ!q 98D8砻fzyy£0}sR?CWWTɿLq1^^2̟f~&K#չurl:wm}ڒPL1ݻ4Z8CsB/9s+{~}gbj0}Ο%Cid~}GmJe=trނ;D Ѭ Q^C٫ !A v{5C"/{NO)2\]lv姳gU b|iS)RT zWT* ~Br3(,o~A1̘q[h܍xyoas!@ IA"TS q ʕi~aY yԂ|n6[^?w\ѡCK闒#2$X.=Xj;' 3hSuih08Lr xR}IomPUW,ARִM; PAsX:Yp /4.־hGaA)" HAF sFmJ$,\f FD $W"OWy׻%b5h!aX+)--KHPSIXXs̓|G2<@;I$_%: ux/VRtg3;DvmIT#{.j!eQGˌ$E)jo=6_BPw3΁%G)=jҚ'8 o]fpAi+VYHQiEg#F 2۴X9}ڱ<okMy5YQ#9ZC q[uYnAnUvjgzS[" {0zf.SsVA5 +hwϗdj&?GqF,)nSg[T|Tq5j64kVR'qz µwcZi7VE^-i0}*`[fIO%Du1"oU 'LZJEEܻ/Zgϝz'3ˊ 32e-b9khQ;2i 9Y}ȚCEm(,Hk4DwҝҜt0(S9IoА`Gzq( rIpNڔj +Qx@M<Իaw )&^WgĪ\tWcɍ.*4ЋEUx}V H%r`%. %|d.OпRw+:(@EkmVl/ۊ gO$r&iY ߗ! tn^؅ϗrP&^OU^Q&.zfW;.O(}BJiYSzZ)=dN*j1CȊ@a yI[sTn&eIlK:G9a(@3\%/!D~K O懣9+#N :tk  FRw=Hx+% Q캞g>_! %^&ygj'N}B],.| ^azR/{B&m(P5-|:b? ^C8~!ݸ&n!8 J>J=N@. Ȝk1C@ؔ'AW[h.+ @DӥwvkBv*0KlK\jqa['*1Ӥ 󌎝rKKd!R.RYǪfob@I|rUv]"C=/x^UeoW6҈\QRu%&la#eyXBw8wqja$=BQ sI/,׀F+gd .(3OJB&5PD$omP_ ""c"=ZpنlZ.`4Xoڠ(rxs9h4x])@E z= C[:#$Ӟox$nKDiz~Nu;JWk~< P*jw;=*ų|?~lq||v~_7mae`cO5`AILpZl:ϗ_5]b _Յ;Adή%/v*MZ/rz]Zaeom'pX4M˜"3&N&9:Wry^u/0vM<,٬,մQ$( ?8ɬL㭭98`ӝYotbry_!;jϨ{ E;s$K Q*ܸpk Lq Ajl B$#pMe65;:)#Jf6bZcȋEtAΘh^Ս}`vD[2-YNJH%=/!x"s"978&+l4e¿;[=HIqa#^,P(g5} rbq4L |$5(v]3_QC}VK>,g)dNCd,AxXM)jimm}h}0(=di`zIY"Q@ql>Ss̚P>YJ'+j )>MT{8i`qV 5EI+PZ?Qg8|(e`=H]yIU\wi_/;[h4641sX9Th,dnjiGJȟd8m=閔U` dS5̎Tbx l VS x?~l"zNKMZv Ծٸx9,xJOxQk&()+ s{%/XbDVcʾo +TlwnLc;[\x(^8'u9g<I0//K|x) &}e7Eqc=V@999.kLK7WC87-t*Ijx@HsQW_#XZ )f|/N֟;f~d