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  9 4 ]]Deriving:threads=2elapsed=57.787cpu=91.484gc=4.340factor=1.587zXZִF! 6]ŗXf1-q恈eO/)9F(WRkv2}-ĺC%s -/Pgɟq^e6Bq5\M͖a03eX$NgXu$ ߣE nFM Ae5*ᅮNm\yPW")7B&~MՅRhJ }y]Bhk$1*Sf-r_IbpF&yCAvulbW3١G%GQʴJ&˦!@^#(gvs*!Dmz4BZYQ-e6_WM#aA B"\UmY+`kp~XE"2Wu>TKS"I-Pm",j t0xg:(_D#ce)'άd(is$Tu88N);v[(|7}˳2SbIp.=8 _i4` +՜-ziŝ8$q?ƬT]R . ,xe}BEEl(ܻON3֮mnsڰU?k9h(7ҎGǨ%U.qИ9 %d#0`/;>q[/&Oko?!n1ʿvaGeE]nfAFTi  PҐ8bհ7hZM-}=.QS5>,A')gO{CˆUlu !YGt\v}IRTD~_ `oJSş(Qb   Deriving|P.pe&KXZK>^^57Ue6?N 9 & w:]7Xv/-f%O: `U_}D+tȱܧ`XŻ߈&G#VYVdvx)³c,? jaM=DcGe(1$²u9`qH@T(|=S4:K!DY/ ?>"_T~"gLĄP'B_b}7twn u&Nk'b{/4ם;HS":ngo n֌fGqܑns0Z,GbVc7jєɐȢyes%%2DmЛƊffM7ח.?Jy)dɹ,3f3WpKvz'!5:ug؞mYyqO1ӵ lUAFh06?R!="\>]3kӑ2<*,-XMڨ/ydZu3%R1f|ϯ x^_ |kb^bX m)gYZ7zXZִF!  ]ŗXi%6. nf^%}Qd { 5n:YHG9*AA!'Nso '(p$sp Oٜ >8rn~Hl~{Ds1K/S]hP\a%}\-\;EAl}Jܶq '2"{@/AtqfK%xk8w6N}9%,|ƾMRsR5[ßXD:4s("&k70/]%972棨s7w][{R8vS}FzuS`;_DoFUS/.֞a4=QȇV`a6tֈ륵@zjGl![M-sK+1A/YD@Tl[!MŽӫx ZR̡XQC\d!ʏzFRh{:5qӜ-z,u2Kshj™\kg|Cˈ~P.b}E}Ue~{*D] ?G( Jz `?&t jg/)q'Rы3-2>]eq9Vw~)xW;;o$|J?VQ,U_^)G3hDÙb]^vZ_$K7`KUKݺh^`YqXChmn\+5/~[r#**G^>o'ÁyLUtEvE=ݧcvNc@UiPVܧXcA9A1!|5O>Xkc#JuZԍ~+9"Wjng^1lY+J.fAkn?"]:88^\Qa=ӡTĭX:`dp:L+XIb!KǴ@I>S[,{͵6./׆nJ+;W8!B]};Щ8hVZѢYRi.?CR!pN*SwG`"hQHA5Bʟ*q;NѠ*[am<4O{1dFA$kY(<&?oN4 e-ɏȚ9əi0x:CJj(!h)5<t߃#+S` ta8 TyEHEW},`YP8=fn.&e6QvXUb\EyaP`E灂+C,nlRz 4~2XӜM`"NߺUKwi:N:0ijV`]`&ݎ٪h L-qa]$tL8ÁiYQFҩw|Pr9fqM=|-.!FR=Q:8cC8n+<1b(>KRt`ҒBs8UA]WNʉ^Z>&wz_/=nmr:zT[}>6t]uS!4lyayh >2yٻH2+#-ؼMq oB-mFU !cK6Ni`&[6fuAn9.0vJ0xbS֋؋UU3z\ 4>FA@5J6$I:S$k: o[_kj-eht|_T,*y]j4zI؀{3Eh@`@"Cy J==cMxߜ=K86*W*g_&]r'̳c/us`7 O{?G35u؅0B}|W+76]>љ4uE?\д eP{՞Xԗ ?nZcc\a Zd'9![[}_ ΅#lhE0gU?larl}qzkkZe ^~m5ͮ*k=><0 @Tw Q[)^xNXN# 'Fswٓq>|Yz=k;b}XrKĞd~iE(ZZR2N'v9d Mxc^cງt!h)zcn,A٪#MJm?ZI| ue}n# UAS1s%>SH\Kq5u3Kjr}?z͐Gr 'D~QǑ&-y Zڒ1 +b%;R B+N^QTKw;{ӎ߉#%sJ6WQu12f(ZHD`݊'i${fM6QޡUV<1ֻ%#X_%XdFQT?E`Bf5-EG$[' [e86nm t5 U|ċ%4=2jP\܊P2d!8Bs:J1C&iBW}m''0y{ٱf1A^U)lq^as$CfZ ;{J2 ϼZW.<-gYZd6b44a508174338d605944193923a14c4e78d2c00a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8aa0c961688e11a0043768d9d1d34d03aeb22ba75