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 `D _ HOL-Bali:threads=6elapsed=61.403cpu=206.284gc=9.220factor=3.367zXZִF! CZ]ŗXf1-q恈73w@9!Ӳ) RV!9z(?,bqke!xqW{&LآD(+9il4<\,$eSWmό/YCr(ZZ8Az)\:K3r !:^xզN}~'6?Wz:h8RzE i{_M+i0pCkHO|M.=b)(F;r,{geme%dOD921f-iLmz){QSᮜ#VI8P N\t>cYcPoqٮMFr'? ifYѺMW37 8T{eկVOAl$@< \TD6=@Cp8,J@{K=QnOKU*ذK'kzepA"t&: C1jwHs,cJv\տ]/ˏo.Wd9%v(;nd]δ֦x~ckٶ?4=n/(Ɓۆ5F6d`8%| +J`Rm29 ts043Ec\5i$Pnttz}.vc3Ow/SqJ[5oۧCwZЋ#kn-$?r^LXh@XoQr t9n31ij(A ޏER4&HZ*F i_q;Q؁quv[`J%C.<u>vW>Q3%O }] ^I9?ңF%4 C-7xM*ch:q !Y6x{n͞ IQ 6Dbh%/iaFmFF63p XYl0ɎIH\ِs{[6NXH\)Q8cCl/ |BnU}$l]kA4IiL̸c{Ŕm=D'Ьq(y[dW~.FG=)X0c U@mS~eo—ٱN&p6etҭr ƮԘeV[3GDd^G7 b>)xLdO煲]ٷ),2:Mts/o߹xQМO;%yћ3XQliFmnGƁ8v? {zRfƐG¹ ثS`=; a7p_H--.Ř4sj ^_YY'+jxj H0"W6!$\/Mg&YvԴ[YyAiE5rA<' GuyYĉMukdR{K:CtnG[ FkI ^fX@6>_ ~"֯fG RHMFP)@bh|eg`}J  6+-swCJc[g6~јeO6ዓg>@O`X.ߕoϑ<~I'L5s*щA[{l4YBPJWͦ}]yӑ1JF<.ωzcX3]rg=_ ANݯ/#ln';iFط̔Ua4څLMօR`U-](FavN~04tHXyIi Gy'AN@VXRqdO\Km+{)A{6D"S|6eqً$V\iHA,z 1q8eSdH!1RQ a3H KӜa905,fb#^N3ڸHۯ',܎vNQ*~Uc|~PnY`+ֱ/%/k]RÁa4RxjV*p,Ö 7W pۍ zH Ğ&W!P~@59hze{3֗1<*PXߙo\FbasCM1B|W:.a.a @{'# z&L'Yu}W9ڈ(Ju` Lhtr=ow=3%?x)T=>)]9:9 / TFn0+HJf/^/} ϡcؚHVWߗ@z ̳S'NSDԅ )m|]TUw=})&)W   HOL-Balia0XMgV&Ocy6:QA;U|WJXrWmN>Lxv/-n:W%R08(Ovכ,I,`TZ*MwSWOal`L"_zg&y!?ZVhK̛VwjFk::ᇼZ W(bH̡["ҀD_Jn:u.%vgtXwSp* [ X>%署"oXyxWN%ZUʴVl8A0\pnMXwyӄK8TU6'n.Ocn&1 ߮;\qU=5,[H)A纍`dop >- JUѳy{.lF7+&ڕZ 'ɏxyU|) KRͱAXRd=˚v+v84<> |+®!zSRdѭs)ĻvJ~MJIgQt>ՇTBYuSl~NӼ-da͹hm)£Bpk:k[^H1]3"H;<ȋ[3{}]mx%ՂYM!d($b!31ӚQw%稑CM6iMщRH!0LE؀wI$*.`Rߥ5!˪#~*tyfI{[T]mk"ng$U rb$ ĜBÖȇo"y='"6DdhԠHa4.d n\D#麞º1V"9@ hΉ"> uJjMRYva僮u-eg. | #Ps;OOۄbA վ,"_*4j²TxWh=<'mҢ%v۩h w ¼'}U&)&W>"\`c7*9iCw{Q ;f 8a}@xLP Z^}ĵĻl|w5Ym|1R| \ H皕_lm]I(6|:vm#K{,FBٻwݮ0Ct<㠶-i"+<yU%(<8UZcCFnD :m2?ԯM _6Wd0:s׿ ]Tb 7_Y[B)y8%~!/_fs& r24i:SZ\u #SAZR}ĩ A<ڀNŘ!AnBq)1DS H"w{L6<@X8˽G /^5˷~ݎCPLU8vWf(6 ,v (q.4q$i΅+^drQv^q160 Ae=.iS[)4p[`cW9#7"L e1wd֝JxN&UwG}-gEPfWDW* <+ε`$ %"ea0 ˅TSM$g՗*yaUhXY;qQrտUܚq^qrD(l* 't@+LJVw_>OXG*ܷ{}b gEn5oZQ!I$ZO_ڊmϨP\eƖNAt5\qz`jBxBÔ6/5W-;t&F5dW;bb:S۫/$ydJ?8󂾔Dpv0#