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  F| \ ]S Real_Impl:threads=2elapsed=66.194cpu=107.396gc=3.644factor=1.627zXZִF! +]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjSc(ZhBw`LU[py2& TR*pk*〷 'VezaȮv29Y1f1?b濎N*OǿP?FWt b(D0ghӇaaHSG3? :yAtm%RjI28u+rO3`ԐBp8k:-McW(Z'ف9& VB*Re6Y80y5ʽ5]]f-S&kpǾ Ŧ9XnHBp@cpKg(hc4T۩~unl<"HT+93>\L*E}d+xCA׾^IN0˃ Blj1i;E#P m;)EHb^)r^Ub/7i&#4(p7;bWC4nƸCvBjMo:6: w7*9w5يiL=`!fݨQ)1,+f@z$65\NG}6uk4YM$þ_`0ъUHcmH`@r$}AIjѻ;-9>L^=kl[}X/Sd_< r:LVnL #H6S8B*S~ uUT C?Ys눭bQ:]nIGTᑒ**Ȝd{瓆8B$x:>lQꎾڨz$p{7ebH 64L }@lNKLIZ?B)IJ=lװ$8zA#GPPtZBW8G Xx MB=nȀnK,J5LysBiӯU7 f)#$SV'yd4#98N'Dg ;~Sy-vHv/_dJˢVS"1Fjl{F?oI0їij恳8G5w@H&sRL VYTgYZ7zXZִF! A}]ŗXiɟ|E\Ât+.*aphG)%uGAWYRt3ˆ6mIaT&^TB]ƞu?gĠ17~uY jtg #5t3 Ƅ{   Real_ImplJd4ϙ-n+銠PZI{ºNA'fʏ$v-d ;"S9g_ty}ZmsZh!]ŌpZK+]$~Ėk!lgYZ7zXZִF! H8 ]ŗXi%;ŶL? L_KIF_ €HiHsL-pTɡBL@+9`oZ,$k zb4ˤSl^{YJF~rA}2Dyg|TCy~k3.ARi6[,\ ??K`w)LYNs]G̟m8"r CAvpY *PBirI?J9CBL$4 njۇںNʫ)Ժ aRv"z즚+XoƙF!BB4+؆C]Ehh褚05'0bnD' w 1[P y?voA]g㏝ bLZHwlE/ 1Vbq)6oڇxݐ8zvP!I|҄{Cpfe!Pv:YBX'[.)D+vTI^ f(o,ь*ع%+X0_$z>|`…m5-EֻE5 f7Ui? HڀM/<@VB~ Dj7!AH3 cK6/YG`6R<7N϶0nMag(lOkE]m)D0Wk*ӁMG q,XKBWK7G-gƟЧ턄b!QF2iJȮo9'#v=[حD'SS5yDȴM?mrR>T3ّ]:w늠CPMSv߃ xVH ҴWqV Ho5hT#sKu$g/ߒ| /rv)>xnf}u?ԣϵo̱cYZ#7!ԝWp}H?䬣j?<"NXapfgΉ SW~1 ߏx5<`TwcWu02슓V-#"W0m 77e|wQ~'ß* ƈV,u\;7u0XZIF=684E@ ɏk.r,F 㣥^JM>*" r %pVf'*ƚ-Eqh D#;yW[)cK)u5%1'5qֈ_1Z;uFe|!l I>L,wBm`9JW y2Zvb:|Ugf-ps6*QvR#=W2][Q(V#ձgYZceee4bbed3ad5127aac89900731e3d246746885479d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 41cfff1695e50b731c6da3c3891fce37dea08083 0dcd348e9d0fe4dc59a7b21aee18c39eff593bd1