SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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%4L ]]Regular-Sets:threads=4elapsed=44.225cpu=103.864gc=3.440factor=2.357zXZִF! U]ŗXf[&&HK힀1uه_m8[y]~1.m^4Z,{˅^ԐlO  TCW6.Aﰔ]MFDULP[E-otNhDrғ[!P4D"kjϡģYs-=7q~NdE?A7E|ˆc$3u!2Ls`~EkYS~ =%w"2na iZb~HQdLP9Ԑ{KYY}VH{%}i1|2h.?J1ňSrRL@ƜV6h1џ9R`dDy 9A6+`hsz#$Q8KO09:j]a@*0Ƚ +k@'hPq`Ti U ܁J̮q8-(=/>`&:҄i-îBSRQ:m(7H8Cvi1E1 S/QXN(nr.~$$c_ܤ17Z5?tzv\m> em@gGeAzT$ x@f>9q.nKZr{{@e-!Zϖf0kݸS) 5Y)y0<„%GXܼҺ̰pe4;:-<)nG*jp{Č?o,, #<4*NgYZ7zXZִF! fG]ŗXi%ItK yQ/3~i2yTh ]Ef$UKϤu2·ߎoRlsrgkwJ5 *kn@~Li?nIe;qTvXV1K:YY7BiX c#c{,:˭"D|Xm+dcfiS7/4{hW~.r s bkx .OICAa@d)wGB?sIYe C_%&A$ LVDȬ@ )KGN=g+xn5 ~gvT㢼)Oo't1*܉8Cw⹛>(VS|MN]`6^M4 6ʁK y(≠SJ|'du)U}皨-Lڐ{h[DLC$M7O@XZ?(P=:՞LY;kWUr{Adb#-)=AOpeV&gjӈLn-pL|Vע9^V$IYSb׉i?A{r*( YEUI ˱p'7,k]Mn(x^ah>Y#X޷--&ᬻjhG )kGn7;ǎݍJSx/MFbCϚgwLb$YrՃgf #]7͇Y uz苓cssJͶg9qPdB8c~&lBSK!?@l Jy2An^)j \3a04҃O T3Th"HTz*N#t`!F PEtU?:-8BdW{s'`yUaf͟Iρ=2v쌼Qder=s{P.%к4ƙZuMؘsIiiۂy_5t*=nk2L g<! Mv0 ThqN cܼX!ұmffv HC.Lsj!IkldbESu2y%)žNjpZ.crA% ]ZJ@jc8g7}G/k> !VxVi.#/f!. k_A{V ;}.l ,(-D⦯AeA>uQ IHřסRgZ @m㟟a#mGҞJFk8;pb:c"nPÏanmb&K(-A"ϮI}FG8:΢8đaܞvgWujx<[ ia8h 8K)g783MԬ#S΀J/| 3 dc)B)`pYF\!m se͟i_Wvrj]rg*1+g‰R[CxjFAS|ȳď|ϻ$ãۈvj7IZd:}D|?õR[Sc) JIQ VXI?Hm%TVǸ\GjYRȣZO(jkEc.F#PP]2Tg-=);?#,*\~?NUjSKX#bsгl2]r|Q5 ԓc" AuN7Ҧ%&f\lUV$DzYӸQb'olEP/IP4)*zv{R1fskI<0^75-Y";)][df# (}%YBG~UC+lJ(2 eX6d{J EGCX O@J;dqז1f0I 5BHwy׾{APAAzC -"ffVvR,[˳k[^ dbCW2[_rd:w/׌}u~K^B5";xs @pQ?m㖁LC߂{rDecDL@ݲN>ah1Kel*}#l'xS/uVjn pr߈WvЫsݜۅKSjeu;lР