SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info v# |$ I FOL-Fitting:threads=2elapsed=16.383cpu=28.284gc=2.176factor=1.737zXZִF # FOL-Fitting! ?V]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA&f[dSaSSXIAY IYqtHCئ'?b\q^Fe ѕoY.2Ioik48mꧦ8E s2eihtJm֩q4UOπZ1@멗.ߟ+'a8Mdˡބ) G.Fj~ۑu&եcnd);nGߚ61<=Dsq,-VvFq`v֤ Teϓ+JH(9x_h}У&SxˆSUM؍T㼛:z2Yb*EHY59k'RJ4! ů|hE7=͆a0S9Q:h۪H`%Lf\cO|H0)^9S:b ohvSk4'Vz5lX 90o%Sr.mnj#ZafY\}nFLl2z"V77:=A7~y|X\u$ڲS2h5G<1Hv≛M0OCaofMu g;3ӹ}ݐRԾ V^Uj* c{ln… ~WgYZ7zXZִF! T]ŗXi%H\IlV4g ZoN-{]q 2JU鬒ѝ狑^m1 T:4|2 8M}§7J]YW<%5=/2&Mrb2y_:?>WpN'?j#rkG:*xDz[ٷG"z%@M9?/Z+}φL/ R\J_#,ed!^$QwCkX8 eNyJhT10~w|~7-31't~d!S7m "U\%Ul(^jܘx|W"C,}vnv oYBzɳ/ g~U6r-1&;L7\6o3<dPR3̭B؋􂾪hU,&% ~TJ۷d\W`wpg,8,T sEFMcd^=\tGٞ ڸ@y 5=fV_,smZꆎuNcC܍z|Fsm[3-3 0ln9ƚu}*>$_>n_%:O+%mn&=0MZ$d/=sٷaMRmm%i^P}$g{_.-]yFO~aM}{ݴHs)dZjsfא3jv&!u|'^YV-ԉѨ(1 [P4^ .gHX%3"s da 2gP?sj=b{&AO$2}tsl C+) vR7[XI!Y#}#,.#g~oz.dtEqF&HxɓR0a*mg̜~g 6⋣QPĵoӴ8Gm E7>|".#1N .0v`)41_qq4viZ$H*@ ڍ1VU_]Brm;9=%r.zzloƓUfjadZoAM%}+gӽk\h0=|Sٵ yi':#IG#zn+8WJk$ >K]1pPRe_\,J ιgYZ631ae7b3c446839ebf52c1c4ecfff6207b3c9e9d 8aaf7df6bc028b07f3d05a7070da1073936a5e21 9f14695bfbeb9d92a570354471f7696ac1b86ee1 c9930b1afcf5527349ac0254289a00223978e996 d106237fb0fdcfac92b4c69d767734ce9de27446 e7cb3925a3ffa086fcc7c046b2b2d60e179200ee f48fe416b000de8a60a7420b8fccf973030ce8628c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a