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  / \ #S HOL-UNITY:threads=6elapsed=18.747cpu=89.856gc=3.440factor=4.797zXZִF! 1(]ŗXf1-q恈r|u2_QM' 8əj*؀f@ZbOaLVvfKyX)v&Gq6Y ;[SD B b~LP G J//:-ΊSdrkjP5dy}vw",^ΥFkuYPZyg(/C7.iֳrρM'+_N_{3{^oCϫ`7BRhsm +ah9]: |QT^H> ^kv^d },'6d-;`?∩?IpL#W8?M6 Y`cI{)e/ b$cv<\ sy j;:h}5jك"6F5>|dm~WHoUƖrcKtp#i!6 T4Iב忨_:QjTXסA (ZOIq_m'=$"2rp,緋2mDn{1B)R%& uR!49^nT߁ v- ƒJ !*:'P[c2V:,O'T." ֣h 6Ғ,C(nf}DWz ->!vB`+H~4P>*)~kC@WJLu6k=[G?D# RfQ6ϻeӪ%=|}A$UM@%BVWT yL_un.5H1%XX23s8$V,ސd[npr"~?;WM$V^H\X |ҝlO"XADtlWM4T3[A:UrCI@A~05>H^^!<_QYrYbDBZ   HOL-UNITY!r߅`|SO/?R[ }"h!Zmگ۽7#ܺmT/oK5tZJ?b4"KV"`0F$&[:Fj{GET=C74!̲vI-؂_(H8l(Z.vzN} bagYZ7zXZִF! Z ]ŗXi%7-ӂ1*GE@Q:QF!=RڜQ) 9M| SD"~U; 'I#"{J^C0ύ G;ڋfUoq>"к7]]$6?sFUYWJ_Y5hOU2xb6$bw^bޫ nۧ%,Nq0,lzU2Ueizt>6Qb=ĝkaNnS;X`b"x&/P1wϭï-skWq olI'V>lZ`P%0 @3"*>")ʹ ݪ{J?ζuP{̴R Nn<!0T.g eI&ӴfA!)s, Tm!r=MtTSլ!S| ߒZ~;^'IJ1oM؝wwQ:ਥ ٨i5 2o@DzBz?__%>n`?]Oؾ0RO}(ܖ8Ηzϣ<] L-L Uظ> ɍ AQRȲz%ՌucZ[ۆD:G81J.~4ƭbK'YF/Y,nLcH7=hZ`ۢ@soYIlN<1$DWdo+``vB tUo~0:W+يVZ,RExSQ+35 ,=eIC?SjoXH0h$d!a@fCzd ;@HC\5_lT'͍/_t"cM*[&?&VGE"[CQ\xGŅ4q*RAZsN77X*N(h \EVQ6CtVWNӤcHS({1q$}/T `%:yP.p|o-j;JcP_"&[%H^U'.X~Kk`ssJR,IԻ/(5H g1ܠH3b <>0,(.ƒQ=8·-