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  g7,4 O HOL-Datatype_Examples:threads=6elapsed=104.741cpu=368.548gc=33.480factor=3.527zXZִF! UE]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw.,7DTP=/ux잵l.$"UʈB`DZO߽eu6*`a]{hft )ֶO- {9Վx9XLr˂+{Xmv ,s~R 7;ѣxkBk(!;\4~;-2'<= /$Z䨩9pb't;KjyMD|Xx,0m걿,vzeCxG/JD[tН0L΂OZg|Fz"; :cDj^4"\yǀ1~P$<>C)Y:%E" |^Zb'uKs.5 2Un~ PtTz <|n]5Q;-Mjs/POǠaQcﻨ͛Zl51iL;J(]22&ݿՉ&}%B㔐Z89W1;.#ٴ~ s2ʾC=,!^zW%HS6P<<6 |㗍R;1qaF`hKT4oAMx:^m^4 P0MC|k "zT0ho m=R?H[}+2r9]E%:8YdDi~̫VO^${W;R ;McV| iGMiUwJ.Нƒdi\mS-3 tNAOaF2kC_+! 7 HOL-Datatype_Examples)ň?c'2Q7hW3am{I>-}6%`(9K "֝icZ0^~w/KQ}lS^^_Q%03J lȎ`&<]2z H/Qz;XcbO7m;|#O"^V#?L{/){ev+@`w)]-hS4DA4+S%H<t~ ,9K!.}d-)2E @؄Yܚ9EɊflWC}~b*n㌖ϛcA[StO& 0KĮ/ z.wH |w V3 &Tޠ8=K q&amR?(j9SNe쥀)J8!0Mٕqr$d<§ވ+mp9t5`Zo2l-0sĐްtwt&hs-Jn;ЪiehPɵ>z}̨L>Xga"vw.,@/)2F9̏<1tX[Bbm57B;YLr\M/0vRd]~f= >8-wx2)Wðgq?^uC`  -Mݧ0; n٪Y_"[=R#!H]?8"{^8Fu-&Aƪ[gYZ7zXZִF! ]ŗXi%6kRVEpʽ7'o5)& TFpD\YXsC$J 2K? G6A4i5}Z#~mW5POwsG|ųm XʄyEu _zړ6<6[Wi{v9DȣUӳri:/zdsv7+3գv]dX}A%nM #S=w߂5'K(m&in^'/؎g9{a]ɥK B¨ﰇ ;Em:J(J2Fyk!A:y; b@۵QFoZ~Q~yg&J&^HTI @QEo/+.^3c7幞tV OQ+,{3hp$}txtٞ$>~nX?rP[Kt&.Paز2Q|7ú',.łs(VnV,u#(;tvt+7\^~z%iL|ܶou}8柨Vkƥl00Zt^uϝ)7ӂ` w)gʽ=:5{co)ft sR̓;X inr2*Ƕ$ti OX1.5YZӿ*T2e(U_;d GSiXgk۩@lhYt+td0LrOS#<yuFfGyqm6ۀhKbLZL.Dm:w=%{% A-x' T^ "C2σ7ͦS}TMGilQC*[]v[:g~#TEԷD7# ;~#RF?F<_9j Ji85Xs>R6L2 X ᡅ#UzAvS"FUxrBLUo9j-h[l#_'8;(!vi.}U=kZx %`6)U 5c:)O9X[ Y>t?G;2ub*a3yWë^G'ӵa= ޲%W; [fʽD7+oy5KLXI%HsM=Q; v.29 $[Kf%բFAmcyռ߶1h H`HgVљ[1 xG2HW@hao?N] 7ړz" %Z@(Pҥ=mwԆt`f04^FȂLˮrN>l Ѧ .9FD+Kmp%~@'@-5ѕ&8U(x%SQmGp'ˁR\=Yu"(Ujmc6mv=V1X'=XcH0E(*q}]RڒzFcІ"FMlxk'Y,/I6:@9-E ٘F&Y{TNBzoTD`tZ|M"аF×4w?Z2u: kn7F#Bvfή6Ֆ{p~p2 ˛9Wc$jU!bk.{ 5v.ߕF 4*|TnB]:MMqҺŦx0Ȳ 3^ ="Y{EZhssJ4ٕ鰐h-z @Wfi.x dd0J++P8_\8Z"sE-+3zztX@R5"ߝk^1[=IWqlStm6ScKv:-*ӶLi Sf`69:;RϹ^f}=FSߕYeHĸ-#aYDZIwY֕ Ȋ&BǷ80\Agli<^8RooR)]#H `;-º3x)CW|Lo1"ʝx fs뙓oKyXpzTo9z`{|x%wO> wFuա5w?w~g02s- \+3XoaQ^:8{ <g?1dn Ƈ5Y^4f/ \#A %j@]>:/L˪ OqQ>! OkM0}TxW<*szT5 O39\džt ENIl[Ŏ(e?q4vAVjḭ́KV6\8 4Yb053dwY=i l#a>TT0"O!XiL';pFU'Fp_VrOlnL "i@,O$6T91Wyp};Kw_R/H\N8.}1*B8ARZFN }^>J0A(P.BjHh3_j=[ѸiQ`|J%CKZFtA+uj~pW.V;_p;[F&o2خzO5q9BDfQMOQAB30`/-I/ P/~J 0h-_gZm`a[2o9 BXz۰ \=Vc~*]0 %j')ħ+ƅ/feql!P]"e nEkSҮT)!A.pQ9<'4ZV1ml e;<YS߁;ƶ:E"U5Ll9,.ST}ߖ(TS4Vn{Ô+w,Z[Y!'%<ýCnS>Udܲhӭyo!We ՟Uj}vot(ʔ9UJ}C%Bq]rj1;b< ҭȊP2G\J[bCXYP@d{Lwν,ۢio {< 8d>|F!k NOK C`^ZR|ᅰ>ITEl 9zkSugUX]ɢ5]F 6Jb\tYK`GH(Q},뉐Xf:lɬ3jɔY