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   l %w Lp:threads=2elapsed=40.543cpu=70.072gc=1.472factor=1.737zXZִF! &o]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\fX=o_) xQ7uߌ`d9ԅ<ϑ\/ݾ+'B2eLvkmc)}l˫3p-"fh𾴉SeİndKC3fr7T3Aui`Sy{OvIE/H%w(Ag>{&r!s {;cO)/܁h(pgFs##G8`CsRQL'--\껎MּrVW)V$&z=.w  LpW>:oY"/)laA|h{"Nɽy%=M8HPCF[ldl"KU%쾅k?i&$ MP]-72f' C+xxL6/ ^j0EX0G0$<`ߙǚ0 IeOOyDMQh~0j~Һ&x*=%5)mp5c&#(`{bۋyYSԁH]G#w:A {uR䫼[5b.89>F8/ ܴ3?eS t^d+r,S4kj{ZZA_lo 5WLnbqKv.E1u?wU+׵xtLdo%L_Y0VPCSM9X>p.U؄Fq-\7^ALNgYZ7zXZִF! ]ŗXi%6,5+ ܉/s;٭ fffHm$1g -g0J QZٍG u{Sr/}K=嬆: eկ>o0zb_;d?TJ#&,);}׾[$S[ʕhs%%OTzoh˳"8=dOVaBlr*@̰SU]28ZES4 K㼢a_"ίgf)vz5ɐ}g3hN]iX81^WcӽMpL펡_R?|&;F@XmjR;Kʉ-2lv&X1o].i s6 S(S0vN;|u Be9VYnI=ƸiBb}0%0-e H?E!K=z}#KAlVߖB CƯa_#++ &Ԭxωs`dQW Kӡ<{3 Ul3 q>fIWirUw(͗á}]TgO _̲]jf (s<-ƃ@ kFFS/~AXMxQoTf {mnn&xPTH,u9vQьu)Ny #ճ>/q8+墳@٥X*#.z(}wy܅ߦz+W3Z集;2c7i('sDsH^0OUrY[w(GpLj"M`(ht\%{rMpy-=tAi)`ٝ ||@. w*hGiVb5ܪ GK.k@2Bԋ҅8ZRAPFr?ýk2gBdFlM&5x@T|`# aa > qgVM,Nk4;֎>( (]kyj@f{z<ů-qr=,VVz)7EL`QsV\/É0 9u x.YgbW}JL*i6fQ J9 GЯ.m!sYxK\ /'cCjw+ J6fo]FQ0`}/S7͡mmvtqfT]*NrSn 5-,WAn`np&56̛S6u N?KL!V&뫒%1ȉtqzaDkYF,!)s " ?k':+m `7"F#8 B!NB3G+z"Syä=w6ycaCC'%Y@ "bj\j[>z{[&>ѯT*$qQsɀ#?0Y:m}Ei>)@{GC>?8 8H*gYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa289248e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 26e654e9b4f864656e647ac5422b728715168d52 b69195b07e93b5f63907b57e62f643c715c9a0b8