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  / | SI SDS_Impossibility:threads=2elapsed=58.355cpu=81.104gc=2.020factor=1.397zXZִF! >]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,#mzkåTKvJk;uRgQ`0u]2dX+Y[q$,dzTNjnwǞVI oUb=t+sMu`c?+_(8) Hr0BMp<ԩD}z2)c<'+O1S׭WRW6ZބdHYY̤(jwgHV\XЩ],H.ZZ➋|> +#_Ƣx>L/N_{!I^3b1du_bhDp߂IǥSG˛Fj#?r}%"ɲgaGwH*,$ hTN*}Y|4v<-:i4Ne9D2D8\ϹfdBjkФcf$UF'J F'%a0L0iׇoSkk.Sd336![^z/G"~k 6:)4FU"$Nu^_~$M *%멷`8mB؋ѣN\m3z䏂:b{=dCTa{EC7/X%3)ܺgcVKv!m:o3EM~ɥ[iGX|y)liLFaW`~¾[BeOS/&}$ 0-z1'sFwTƀtZ}[]KfOBup 4[mRWĸu>IҠIee,Ke׷ 0'gcfNw HmފL}CyB]B,%554e"?36<\t{DװY:pY{kl)064U 'J} ̒7俙TŚ[7v`x3:˾dRўq2 =*, t@A]PN2M7nh)$nc)h5ՉA"m2_DK/7`{hgؔ6ʠM[pBJ )|KAc`pl_Ayםwm[j_`-/)Z܉tk"B,m%MP ͝Jx̬Ѝ˄Zq_2x@]P&2*JЭ/iF)e@t#VoۻϳSW(UwؼYL3'V,%Q~om|G<Ɋ2p|+gÈBݎdbtځ UwNe i34h= @Bp;A Z`IkOFSKV 0dMYVl9d(@BE!P%J  Z뵐 +]Ь9S`J@US`֟| qTQ+2MC.tO')w0PA-xӈ&go,6@+p猸46~d$(ͮ-&Wn*ĕ'JaVųbdfv;h: B3G7ěX[`@jky֟ '.'Nhcx @;i}h]PDЂwt`>&B̸Q}#@]v+2h]vM<ˉqJҎ^-"'#{fPFI[;Ӹt۫l7OӜ1V r$Uc.=s:8f+Գwxi) oJV*{ݳW#,@"1i;SIY,iTWYh9"K) !=T=IzهE}{6+|;ˬx}!n4rlTgZ[(wU<^/Bcz?C[naç?|(9f^u je_]" LJvM<F'EzrI;=tϤ1ƥ)4y\`0d\DK|f ȶॼ@O{p6~c'>t:<*g?:N! pk ]H[ ¶[頺3ymzP`G\nz_j72-3O^&%_T⿖L;V5QzMH!CLS]qh-?I UL+0߼n8d4]q9(lf}PI>vVG 7z0ےO2 E\4Z{lk#ZJMP 6+L$)).d{=u~;Ǡ1w2ϬCUln<&Q!|dOE7\$%^"A1Y*|>\Ok`n ,̀h|θAl!Vɤ[ſWFvAQ r͡C:=1=lɁ#e}pSgYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afac7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 5f6583c2c32c714f12d333504c279338fee25e55 6d4527bf625050728855a7017c17c5fffe532657 ed47988e8c4fc72c37bb95d13950a9349644e73a