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 ff' \L y%]Sepref_Prereq:threads=2elapsed=56.399cpu=71.508gc=3.792factor=1.277zXZִF! =g]ŗXf1-q恈1$1|-~xjC@c+幧 ֠{˕}$IOc5"󏠀{͘Ofܢ\ O̺PEeA`!q.aowcf0R kk/$^ 44`PvK) %^/8bSoJ1Hsr3*9N1ШLID `F|q4 /B~j=u4黍;%$$'!* b~{A}Jy3x0kJB(]8$V Ɩz||Cͦoy[2MH9Mdr ŵ/; 18jh)wz 0NI4K+яehłoFh6wͭW [Ǟ/8%d N椩4>IL7R6zI)a9\hvK2ƴ$tZpa|s߈f`ĻJosbrȽciyQ(&6DW(Ǥ?p>>: dN]4wo.ngkAuD OMSQP_9;g`$W _02{9'MO^y=Sݧ[%K/rߑT{idu(*lV9`)kN`|&iˑ Z]&^{3:3X$8C6>m~!Lc7:\g$WqTҏG{KZ4 zx?*0lGf'姁txWwO3`fP5hޢzequ|1?1'r=QU8N[QҒYr! ~<]½&3꭛E)l6i>ԥ۶s-]jɖ}`"]p}iC69ˎڊ滬ʼq踷CDIkϒN ٛQضpk dX PJ(_6P FqtdU&uTB.)sS5jv sG:kg35fgM*tD`c4JR;hv@r#ZFb:hc@V_%mRH;H/T27d4ޓtfx0ljZh22Ë]:c5'D's::} qSt  Xbnk`كgO xUmd]eg#ν?zX`&ĚA5&LrؗY3_oGofLs8P zPOgYZ7zXZִF! _ `]ŗXi%6wD˸}H5*EՓ֩„c]*ދ7QBC/֕])$ݐLF; Ey< r]oͣ13Z0:^T:l5Fވ3jQk#_A1P]Li3qY4Yh}x3 #BVN;k?! =AB{><]?4sz٦̇疉x߮З6֬k!FV$dc3l= :] r}4PPS~ZTl 6\Ț]#EӔ/peQ@œ"!%Ρi,Y [;Zjʫ ' Sepref_Prereq,:#'a/.XUJxI\ipmbʠԦ ywͼ>8996+hR0:\GUUVu;To7-pԙѮS-+Nm@#Dv$ a8 ri0*s(a WyuQVlI5f8!P*z",M^[jQKlpScf(7:,CJcOw]HG+>K\tI [U2A X~z;9+jar_z{qK,vE5:m%o3߭'$_v87( Ԁ%lȫ"c)Ch\Gರ`#T:EG#q=ꠈW`p?Й6iKWX6Qg֮.ʨ[r1-w68Wsi#_:ow "ޣ # !CMnKmHm?Cuˊw+ʓ:!n$x-RKNQ/f#d/b_9t{dD5ƤkgMZ- Յ(NW&ٔYR{ [+ j*AP$j xK4ۣWw`̽m>f*rZ/ *SE]7AP\#M{mo3h"YS ~/݋^*N!ThϏn-eR^r3 .+/2TN '|י1yNA@~ ցݿrhB?]YtT/~~uIl7F~4QK՛C)x%[wҡ_~oM{>z&*/]@T6zCM58"hyĬ=GRId=6,9vYBX,X0$&K n0vgJ X $zyA;K-;3gy4J+}йBW0A  QVmC0'/4ի}ڻ1|dAB6:zx8akbnSDlxJc1ML%2QeKzo27)YaX[ 9yXx]`՟av #_\X&MQ >8`o%ׅ}y-@Gޫ4LP_lVyX:`vno %,Y6{fR}̺`>96ˊW~X}'FxdjYNs Po!I[j}!PJ >&ij!({Vau C Z`?GIkdiB]fYeuN aqCT Lw\3F6\ ndN{qa\F29B;P{> וAJ"Bqpt_A el<}N0,9Ej5)s]r>#;^k(.Fu)қ5pk}<+L:6bofA8&c({֌ 2LꪃH݉qg+\Ѫ޷s7~ZFd;@jFU|Kb hG-_!򭬵z @+ .