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 **K+r| ]/ Stellar_Quorums:threads=4elapsed=4.981cpu=17.096gc=0.3727zXZִF! 9]ŗXiɟH)0%oM2+>#6ء_1dVBS䨴 d6E <6K (bSF0Ni/u} ?\$ވL+!QR9$\뭢 vg’~\#+_Q@WVz }&Szw`v7䁜ޮtvS.mT9a+L™ yyq!LVS!픏۫\~M) aI*)i(xI%T~||XIGϰ1$ՄKA嗽=%^Pq_*Zwܱ~YH| *<87}*` OA;ƴ I&,B*b1'vۺ[  Z*%*G'8*Y`as oF۟ENTdGI:MxM.  ,&'@R:Y0u K,a%K. sr0w5~ D_O͹DHWb/H9n0/uF+ӆ @&F΃$_DBxDɂsC3+0!7"VZpiQl6ш *1RCʛ_;<~|]= Z),1$3.h%:l?N;\yya + Stellar_Quorums  uۛOobډ6lTo\ã|)7qbqŧCj42޶4:)_H֙~bPUkes@Lync5i ޟ5a"rҵ3B72eTy*V@(]M/,o&5d);nS| ԃ L:&~ [+w~M6 =:ؾ+Gm ͣ5>{ׂĐ9xL#C|k:V?8R/E^br1+ݚhtb E3s4)tS4BmKt躏! =AW,s&?XyWdSQ=;9>Wn-}$׃͎bv\8JiΨys84'4FKCL)[ %10g Z ]nږ Mi\v2㍓>i rR͂O*KL=  3כhL#nc!ojk|]ڳ8)TK1A)e$ pģ%.ԯ-MA.^ !M4$,vru%0YƜӵGķS_T,0oF@$@Ƌ$J.س[6[/ttSt>R(LLq XPing+Kh< ^֢*}IH|hlJ ;{[]-ѕbH˸ o}9)2/z5#~W7bGf{a[vQpU7-N)hǡk:aQc l`H,bMbSCC SXʣA Op|ŋ Pc7Fp&{Dh x5AEDȵf㗦yO~;^fUBkhJkpP"+qq50kĔOBҦBQdw{{ĈSجS蚓8$Mm4fPlfgTݕ M;w A9 sFثJgK;r9{8]L^efaݜ[[Wp˗7'@[ @bʫ ?s̝z >.ـt8GPH`ɭ^BY@p@ &V"%.gGab6g=D}ngapYpqRHG]8_!^';,tC?++n=Z~tKQ.ZXC~_HP@0] LVLFQc\(?QUu3zqdG^Y|({ - $)$*03%]: _-9^Umdݞ]Z`+@[ڧ~(B-v|6'A6*c0vIa7Dn )Sk@+# }uymFTG|ʼn maf<@MQm&5!XU.|w e^Qk_.V8&d]BIz/O5'1lÞ±QP]NJJ8&6<YFP%ٟy (Uɨwaz<Ա7 fQ̺5n4o!]β9-0'~(0Ao+U@{`aݤz:?sঈ2thq@.$ 䩈\uJvq?(!&%CExK~:WVCX=X+rijd)SGGN!-5|4)p}rFrI;4 7,egG9.v/}߲IrnR/z` ЊW+?Qt6Q; t۟>+|Ysqf`Ķhop)Ak¿`]UhL)rݸ3F!6:-D/_~*obG^Z ECa >@ $mh I\,.7VːPa3ړ~$0}`K`&hO%P\`&߱gYZ7zXZִF! SF]ŗXiɟ1·3<;lDnY d>Ʒ@r:TbT)K}YZ7zXZִF! )]ŗXi%L&G%&T\wUyY=)O(7Z8[5C*)PtuO"S*%mJ\1 _P7kCcP5 5`KGt4C)01V)nkʢXg!PdIGtF]-襣%]l{q4x3Z3#W4O Unp:'w;.𓹗G([7ɻ!AOI0D6?,>Iuz-˽U#\4ɣb(;Q๵E]g " ΃(Z~ {5}}A&MXp!rI_%Z`C=DQ̬ucH#ĮL^թOIw`Y628 05a@9BB[vƔ~wk{`Xatp7ܾ`o۵NY羔8&_Q6B+3՛% =IyX$4pH 4!`H5lřPB9t̠5U >.J'F/n 73]PfQjżtgGb.㒇AJ:WU. :"v gM5EV,cT7ݙ6_]%|~;HTd̀¶zR!LgYZ8f473275c50362a921023d54a9ca55bb731883c69aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535