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 d lL< ] Datatypes:threads=2elapsed=48.294cpu=70.308gc=5.492factor=1.467zXZִF! x]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hFtxf$< Pq\agfls.1"^*6:G|.W,uV}"JOvwxK2hήH<!U*΁c=IykLL+~Ee1\~Jp̀CeF<k\uM `vrt4 s}ؗ/lSݐkĤy* KQdWe6NM,ib3ź4[xp|EU!D .J b wʆ 9`>Sb/;IrL 6л4%y '*A+a$ۏ1eA@Cfh<,7 gK[d^,"5-n+&ȱ7Xض\_7F#Z->20lWgYZ7zXZִF! ]]ŗXiɟ&zLo_#a|v5 [g^09ZP\#t3p鵱kt'#/6HwǭZԟ 1{Ab fbmx#,?'S[^L6<{ 8=.}14ؾV\t' .LoSA.pF`?ie ؐYY\E+u?N)9QĢ |bpRVТ/k5˹|r.WI\AreYp;|BQGRw]VL xOi" bC]OV 9 S8jN;=^Y'4oh k_[g#)xbG"-Z=غxX2WYT׿##jwgDN kg } w[Ⱥ̄}:F^ ̅OER+u adC_JVXI?5.x@q.,A;3LDL7'Cخjx"B=fO R;8)='ZvqId]}Q)%} P-"7z@ 1/_=BΊKg1|ݔ4vڜm뺆r0t܌nA`J)eKyf8D#`CaPi^PxcCJ`B/D:KkK`yeGf\J쇆"(85vt»v̀ Eh4=Ω^ZZ#1LcN3;?{IC;lhWiphmml45:"dV=2'K=kisqxiMOCLQZ>ٖÎ.&VM里t>+ʞZm&sc\MzBwgQ56⎽tAG{a + D]쳩F?q /a$KXf#!\MLf~g>!k s8e Qg1p-tmpKŝf-wרWb >q5^HHfՠ7pOvu)5bf+5Xb  :_CJCwTw Qn ,"hT8vAf9$W̅;~ tE#ӖanVa=g%\^| 2ڲ4ܘʯ".ʛϜ#*w.JND.>#R@+ӗr+q6]ktڿ.Aca̻3BDJ0KLVddG)݃A *"#Bt5|;^u7 7ҡ`a*1S=F,GvII,3PꙊD/,!:sz]ɥ8ȘE `FmC⻄`nevP\cuz$2`%?y὿dFq z/M닃#X_"^tTϳs ;LP"y!s#k7y5E8 Y&ARkO2j?VS=U_D vWT=T'")Gm!Pp } +@ Lcz]iZԩPy 5RecӢIn} ieY2I_VQZ-aW[b/NLbfg&@٘*4F ?=0RxHH>%d_^hg)v8qJ\4ngYZ3d28f14d87eb9bd25625a60cf7330e881ba5bd92848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486   Datatypes