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 kk# |D I FOL-Fitting:threads=2elapsed=14.907cpu=26.296gc=1.932factor=1.767zXZִF! :u]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA&n@X->,/@҃(bT!oR^_u j4"2{/aW$ Ro.Ex` ؒTL)T8zF 76(ֵrg[pQŬB^"eP86H}nHnR|J0/(#:4YJ ^|V%W1FC &9ά,rCM+*d~ˢovvmJVb6﴿[8 oxFj/Ƞ6V>v*Sfb9g`*[-$)yU5Fa10MO\\v!q&[5e UF[/2X{D^>b^:P<Tjtv]h<pv&/X΂LW81a|{<].xYDF)DV:oۑ]j$C +m={}UltuV9k$9cSސC+DT+xPlx]cx?X+[Cm'.+ u\rgYZ7zXZִF! O]ŗXi%S?Q"LQ01`0kZ̾ό#|9+E?^:Bxy2!#KTsaK6+,j+-hrCJ/4H}} X}% (m1&wwzJ{Mx,6Δm?x Gq skTrͽdlž۷LD_IK`7ƀ3ȵ*QWu5e_[1tߍAVGHq*IK{9dXN\ ti[pW"?.#3ald@';؞-4-< Fweܱ/wJ2[υ虂`sxw}J<@ȉᏦ.}\e4?@(bJy`  9crd@DLn w8{{ۮ'$W^4i*WԎsM=6CbpL,X2Up4v 9}1Gd`A^{΢5;-) bö+ի,mT 7EV;a[@?Zx>? /(K=Dk%3IH\@1;NW#3$Tfsj}X5Myaa3Cwrsmy( X{R0COeQVֶJ`6 Jd9%$gI>'ޒ3suYlX $G=t.|0~E`d1ݴ >J72f9-@El.oh sz{;w.9'lٹuBSHO.oSLLDtea`3Lմjt]Qn&hOl *Ќ"kB!]>[c,쁀oK,Au !K%נYVѻq٢kif8QժΑIyQui SoojjC7*z|'0JBZV׸rItmz'0.}f"<N߉ F.uƂVg_Dꎶ]P =5/xrҊ@