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=2elapsed=77.641cpu=72.364gc=2.452factor=0.937zXZִF! 0k]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ7ퟰQ` yEBgLu6V4DpsA*I;B]Hat$Se#n)6h];[qja&Z0)yF?ZoKG\$CCB_,*V]*=ё6eLd&JKq>Sc,"dY>nV#+`Z.D^G(HU-t jAWztLob8 WQpMo)$p]+Uj@RBDD.:5a DE<1 3o h./L3ϫ`X+Qq{tP[nnEx&lNQ(m0KI2^[Lltxi׳ ]4b2a,Ѕ8i@$6ԟ%!7@ɄA\-4-&Q8-9napEj,Wa1d+&Ϗ ictZ̵+~ &~}pC[+VCa !qe[.9Mc:28`'Re6uUUX3a:ݨЦ7RP¼k[+ݻ릒´jZ0]Ӟd'[A#sa#q$}!С_ZG Y DxQ@5@mUF3kլt*b~{|]{յ4U2`@¶>S&_\<1&j%sfHc#7DZeZ]էu]qJ&[eЬ^7dy"$= #`v[13bG$1[2:8Zk.X`ҡg E+ǫXI}ny>} `obgYZ7zXZִF! D]ŗXiɟ1nhЦx"n_8N]( eOtd;4( V&$Aʎ@3^:ЯCdr0SQE mN;g} ktH3FLK[7ȩ%Z 1 HOL-Imperative_HOL=8'Ip9+} w C࣠Mk;-urn"6c3e30 QF#~d)#zwkJ;8>uJ EA\ yG\fV1%=On^&S>u iwHwQSCs*GrK F@gYZ7zXZִF! z!]ŗXi%ύvNdЃ{Y41kق}9R iGSG)U}@G#Α?FT#s,p8Ь+%n]fC/ fg)`rh \'t`u95.>iYjFRTޜdq6U1j$u!_g~ A27/PUBaWi.Uy= }S*OZnS7)tpǸBdJ[@a_"߭? +pV .0ߨ݋O֥pIbxbJsf{k4X!Q+3i}Jbr&(%S]3PTj 2Wk w]m#@s-,g^oE>gl,E۰EL(P"}r(~/_ uQ~V *~HgCCHIzE(I4GcH?"c~&%13,_*QX脪;̗0nJ 9K"߽?]Wv=ܘn2bm JxS{`-D,߉@Te|[gtcTaqB`x@?ǎI(lY)0f}okrl({ܨэHqYi~FB)@s (@c}<:{+|-|r6QS).Tєm2FYbUk+;'M|"b F:qd۹TLY,R^lOZ3 J,swcLE1K` %-0[vUBf(UQpTV*tΉ 5F&% l냼Sh;G@=dKM:cSSsRP$ ~jc;S+|+5bO{[6YcaU;29\ UծR,}\QrkoWCӎ܉A:Zl[t`,㴾^Nk 7Dnj( -/4F-8=-,9]Mxl{f#.Y"cw"0Ʃ Idon /Ƽ^'{̄\6ҶN$*Y,[j.M([M+6pQ.0іWd0vAעƽg@.ܮINY{ȬJ.IitqN{($S>4>bwv}̢1*<22v`%ÿKby;e[C)4|@L56ODQZUT`>6e90x|\1+AD4TOCnRB#=Ps k)uSck6R*^bHu,sͼhwmfi+:Y\D#+PZGb_@dhX>Q`༬'͞Qs;:(.)_TrNBۧKz K.*Aݞ:}AMW = 7Ο/!>nmQ!`2rN7c^3KnR1_g]"jb8K^b52TBˋ /vg Ҩ* ȣo}SPՙ%!ױY8ʉa _SLO,N5yn`]9śd2/)rٿl ‚ncfUj<@e #P>mww'" i J0s"k)ńY(|w& 켝k.GVp_p1w&ǻz#b1.h{{Im2 4#OyIpY0X%\NLr 2KlE2$K+̓pŬs0<-=8 A*P⦪L:1=-C6r=lnEPl2+30:\<[NuRߞ˩xH*}:RbiA^R5>uꚄ* f$i( Y{vYAHZڴG CR'x8 qE<qdyn"A)K̞H~]`$YaScݒNHtt?p ,|ޠI`O`@@8&#KҹԼY*692,D\Bc^D+ͧD@B3s~4z5P7]p:q,īp?\Ldtk~0XvflFQv5뉻= u4~ZeĪ)<5BWVh$|ct>Rd7"_=;@32c;s=2niT`p8&C/NY{Rg$c&Q0< fZcӳY)ܢÇ.%.O{4fW =G˕ݩ0m9TuZs=( [C ,~;uc)=A\)V: