SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
p% |L II
Stern_Brocot:threads=2elapsed=33.187cpu=53.440gc=3.548factor=1.617zXZ ִF ! ] ŗXf1-/6vR[]ׇvb1߁ݶ)
?K}Kg$`zY/$ 2^>0g SUC5Yv (N}x.! /.N7CQ60֬]ˤxp cf ,Gn<(k!ߤ0sBZd5Ƶe %C yV PIT("}?9fmCĈ\Mg9HA* nGE1:+ |t!xuq6
?Lw zն`쭫銡GU G?ӿae15d}ˁž9,%_aLg̛vrYg+ZjiP_t#+es)IhP~5VFjYg480/iT ˖-9Rt彦BQoJ@I H!.dWO fZph*9 qok\)I瑰c ŦpcqOcKg;>e0=~ =^\X+ e- 0 JV٫mLJ
phTr\-7;e'9"gmkWU( 8b~$oG|"L{VvDƽw$Iš-fK&C1DB S%o0 j́ G}za?1*v+YSo(NGpdvlM+H
1nhߎL:aqnTj=@̔7 d\a,2FR[_Pl u5:KMtc *8\r}=9˩p6}./<]2%D P
٢tDlJ) g;~r
;S$l{8 sH+AqͷC5 _ᷴ9d(SlSMqJR&]?Ǟ;sa
`"'94xS&|:Ӗ6CZ6!T;L&S`)ĺEMkp.b@W8*YO11Z+3BKM4˴)z"m;9AVNY脺@hA|x/T_XF[p U1B
SSVFB'"N|t U% ~Z}` QW/s}-W R~#ō2v, #b#iJ 5Z&x8(G)Uu7}Ag ˡ +#fғCqDE-4O8PF.TQl0;U$iL悫Z;ѓ6%J^k^5rȞN(\ 0Z N_P]G~0r´
F.Z(*-" Zyz qSإ "{ Ze>W萎 XK;gثxӎk3圎rȠz#+Q V-bac#&_,c J;2|
(% i!Sh##I⬈5^߀2fٵUk