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 =+ $ / Strong_Security:threads=2elapsed=20.240cpu=39.380gc=1.264factor=1.957zXZִF! Zq]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/{WV,u"΁!:'KUInN$mJI3gB 5&`)ESYNMl)#hS!q<~!p"Z3ng~gȼ@&-<Pc _([?֫^q@agʏ Pi-d-k4B|cRm?;< yZ2KvF:d#'0b݌e ~!P]|g!?$M7/UA6 M% + Strong_Securityj-ύ[`{!~;3_PC"B0e_$ LM!ߞ;k[.f$6(I->j;ܥ8 =q{Rmr W n\ ݄Qw(\k)UhD.,j.zuLB߮s #G s _/c+oԴ>;Q+i!r^?E<=T6!NJo x6x ܔSa]bϙ##M#UT@ۛNӠ3_۷HاDn̪:Bw%6%?<up'.B$jMs2v]y&vH@Á, LY. PKG 1>3(tl3eAlYٕH=9t86lڠ !-]4 nʌz $o+>i#QET;7\H|ȫ%ß:blэ$8UU)O4[{|Rۃ$Gr%1,D}poKr|K %Ft"s:nhV  ~{*ߺVL}D&,$ tF\ȥƋ-:f ![D-SN"gN(?@V苘 bKC$hq2TQ8B%Yl>?ِ=.+vΕ\}XB87qV49)K<~wgFSM.uB?2:ۆPcH#(;ưY!6)찘F:6?$G7l{/(3Zs)]gE wQKAщӕ1Neu8}&=d+IV|pͳ!'edz}?+Q-v %AW^#ƊzWVV^tAvK[t- <%wH|͉ ON5ךO91=EiQVU&y) Hd;MbQ)Y5 .pMS $RdWcs`Ce6^죎gV]#(ʈ/rb~b2 G@cP?Jpr,G-ry<Ō1 .ƚwj~f%nOpM#څ'kZKr]n)IYBI"8O Y!eXǦ]^p@DY\AuPҗ2 [hFE$ +{7gYp{ _kMS{Գm!``~e9Q}{g$}|<]\$M=oxt{8=Gy@T`/{V54cfG;k70$nxIK,z ?,;* zrk|SOt\uoɴN)ސoi`>nnw?vO bn{,,Cz@~X+ŀ:%:8v fMórR5+fƟ!ReY3"ۣz*ئ|b{j^5Sv<4 @Fz2^~kuZ'JzI Nn|*4QKp%"ټA  tpZo@v:MwO4b%oENyF?٣}*k~ t%-m"x+ہʀ4SfD[.(~]A-w=)xc* HJGzwă!wiITd^{͝ٶ3ܰ<(07گ--IzX0z)? q+4RyUt5~E4<rc4GI[e#It9(pyY/AI֑}-fMe(оx͆Qj>emBtshH.sI&al0UOu gt.6Y7QP .12arhPCY:ޫǻ y~ J?Pnw20'cg\ +$gYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d16969711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9