SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  z)$| I/]Stone_Algebras:threads=2elapsed=64.524cpu=101.064gc=3.140factor=1.577zXZִF! @]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> .GIp|Rq$ѧ0BŢ0ܭ$J G8 ڶi-O3,|aڥ|7^RƚiU-%\_N5#2crwM`!\}ZiUE$=Mv-Y$P:DV8VmN]4o<3a#J*c]zSl|{=.\wpXJ6aK f ˧:`"$h"/Uɯ/$kfNߪG7]EdX%Z>l4֋Wm茠7P"j1Ӳ/~1 W@5c,h{6v)ve BHGz"/O7 `=!6qIb7xt~(RWHSUwhKEuϮ-ط[Uxz?_o2X'0r_bg.&+63gNj'who.D@-NT(pxP:⣩QOYU8Y%{)ښ0{A9,M)Iw\9[%|yڈ6~d\~'NÒ 55z[ym b=\޶q+*K\p"NׂSP|}x%ILt;bhR,swa~E N#A+dw,,OpXa̧ TvNۇ,CWNTl K~8Tq(&̻0Ηت-&k| 7slYowEeC@[dr<)*f7&uD`2b>m+ sx{nsYJL3I"!(G9NsC-x=+OzQY.PJગn,GhYRㅌ4Tm`#\mDNŪ= sBk.U}HWb"ȤyLzQ: dD sҩeG\m +&ðePp*=WKϏ!IcUf S@.3=\zkaհLck ZxFP&I XD rEh!b,Ð\B%8RsrY|W~pAgB~a~'xYb{m%Vf?b-N,$g6(ZW&55!ܔc([<2NĎ="!yE[ibiy05 -%@#_#'6a\NbW [lg3ꥡϭڄ4^EW~`|RC:`$rk\mj֏c}@d&e!hh#[j aa2Z?V9a]gddAO3]qtqvuET0ؙ%ӧ!NlDi,KJHN™򉀭DOǺKu1ku2)ߧ`n ['h_5-rd=lNd ` ϒ$5/x;6=U!zw<;ZŒBUWf]^F?%j¦[ΌIs>ZޘUV!0!!}b_Hd32X W4 !8([7+ŗ݇ፀ =n{7U.; ƘwvfQ ҂XLOڵzr!43 ^"=?pӃ>KLwE.vbo_.;c>^ӔGЕ{2n%|*+C;mUl _`1ϛٌxrcDĢy{ß/og>Y[;EVzppޒn@ڼy_OUtlS"|\s H.{=vvcڸ%xɈH XQsGm˥v O):/xqCἪ7,0V +/[{ [P 1j|/b{|TijKK'y'/39ZIu(Ǡٚ!buB, ;2R32'#iS_,%gLӚw·,Ep %(w"EeFR^J!ȆzR<# G c{uHB=X't;X:a/9^10; {i.pVDžhoz{nrjW1ma{SW ]0Z47Tol|q3N|_A^:ܰndu9;3{l }B{'6*(77r] dY^ިj{z'CfϴҽSݱ\v0+?jS+Y]~&O N;Q{gFFS@}y3p .ݭ%♍aeҔ#s/RFU!U^1.f.JjI) nlJc*Г_I)|cZj%;a K:㣧`ԛ*=Ked+^гgnCUa?ݪde4 /uv;cIwCS\sKayHf<_Wwx,;4U,pW֙˵P 7Ň0]g.,_0RgYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 1fb517ab73a2b41846b9077256f60bd3a5cd2930 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 919b5021253870e67893f6f78d6df8a22a86e487 b3748c77858bb11c1b118c4a004bba7261bf4ac0 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26cf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f242a8258a26115ba0821b10d8a4759afdc11d11be4