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 s T %w Lp:threads=2elapsed=39.071cpu=67.332gc=1.324factor=1.727zXZִF! "]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gM{ 6Ss beUa㓮=z47>_M*WI$$9J4\EX@( $Yw'}QG&4z=uJIi)X}ڳiS)%=~ 9pݎ~B@iR` ˤ!X.jCo[5ig B[/Uff6$Bo/ƚ9dbu,4}hnO< 6쁀VN*)Av {J>cY(ze3*' jj̀Roeöz-MVQ3WZMr*BrQA>̤Jk4! mm#j;Z+Ө^k~a7Q%:L(~(b|Q|QOևsz\| 8Q}.%YWSv1ٖw"n-rx̡4b2in&,I6k>@A5MI& QRRjM2U7N~6ry07]1Kefλa']GZZ:/>"SK*y|TֺP5W4yr *]+ R+. c x\]w5D3:EAXyQ![K  uE gӱgYZ7zXZִF! ]ŗXi%6y6 R2n+̄c y,DfcǸ!oBv;;FY,d`1Q?bmu^p]1|eo؟Tmsj!>d>W/`!#^C!?q~̬>Z^Hawpzhg_7o [f㚶!Z|7X|XXle&Bů˗lrHzaюo6P.lErWHP^i c#nw0#%A ExggE+ ׇS^x$d=hbWLGnD:+/譫tWWP\(v܎FꮌhW;&|jBj5֏0P,VXOhAZ` I̓svs<ȷW >g+Sl, #}6fhaZOã@My[ ;-޵֨ΒE>"#1"{0foXO6.'m0{څ♓Uѓbn-'\jEtp/WR4HU x5ȁИ[k[i7gL_̅PzOG۳FqZ i؜ȷ_"U^]G}8|m$!7 P j+"WAӓ[ rAIVzg[cl-zœIr"op^ށ#fvmf+afZF+<_Y:W3Ư(WR ŸMd"c3=zc/~t:ަpdZ`$roFك`$v|YGt4!j:4I8lJTf^`pО|?p ?BJ7쑕a}n 1}:([(3-FaLv'}_ղvB=nဣ,knݾRn+2>^ƎOUS17-j0*2ڔa[Lx vthϳmU *i|˲?U}*۔SY(i~rgʗ +ǖ пe[2"NN+ wO1ԱgYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa289248554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4c