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   tI lL ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=17.215cpu=25.984gc=0.392factor=1.517zXZִF! p]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`_6KhmkЭDBBDF2c_>HH5?wzeJ#4WD7>' 쮃m^64@~%-_@ !Q{a=B-5H]ݴTe2ݛ\8zi5!`)?|? /+K ¤ /BgxDsFzg5q'- I-J0JqOzW,}P3p ݥ=`j!ug{}ߏS6>ٙG)EtŻ( +/u&q{U#(kpZYDyFyWceDO1, /qٝMc)Iq aIdi$4gu$ިٜ( +^7&%v@Cէsd $Tt8ir \*<%Qimu9/;{ k04MR ݗw#W'^4z])6꫏=Ev2gYG{%tzPz:ZБQM>lY1R^ |ѴOdsyprt_7X| ze<I mgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7`xョ| Ӷ#B,X.S<<=uiHLJZ!>7dPqW.6ٳr18{@G9cFhRg͢}-B XdLA+0Oz/S΃RvRSh*︱gYZ7zXZִF! w]ŗXi%L T|8󵅞ܬƑ(-,PT@ySWs|K%:TC7B7aElRT6+Hw X{w4LUqE̛(_i) e|$?y@,+R F FE/u,2" _U]@` F8ip8nf`߾j A,H}# !|p-rЛ*2!̎z̭[L=cϔk `a37ZM}CjFŭldb] "3d$%AU@qgVv*Lt2rD[:[cLG tGo@jAi&xV̑o1PE>x`hLDN݀NݣOoYLlz*(H⟷d|}0p}J>sE`Y Ts `w̄)44u`Χkz1GZp3хr!EAS,ko&nз!׋y.VhVr4Cy׵2V5e[?iezH/_uz[9DAp*o%+Qub.r=-w]ZQAVMPcglHɂ,.b`7rID\7/E4^(B5 g<\)-jOPB7ʟ|M- /D T,QUڸs=t/fAz\j`F"\1[h~ \0f+|J];$pQ?N M>FAt*ٞ5atDx@E3d0Jc :=<.FKLry r]x>mw,ΟwL T H;'q`XI*:s0|`` ( 0 }/uIo -o n^ ܇? "  l^RQPZGLb^&pel8+eE?caĖmy2V78`Xl$ԛI0f(h 唏}=Kb] <>w[TyGSUJdZr*!Udd9Om L;e,+bKM;}L)K\EKCbU9ܲc NRe,\tT ?R~T)>mKΫ8s Bk.G+/ 8(EKo >!|cX!Z]an@?*2o鶀"?dw:SCQ@Y|gi#TplE~P!jAZ2+wĘ{% 6xc%*m0fy}%<@_ V81Yil^Yt~E`XRu`Ț Y'PN*L~]SOՁ_݊]2L%F׌cuW-0:pA4 ]x5XL}-"[0Zq8b2C&, z@ApJ09fO[2Gz׼}]lg_@Mײ8u/gYZ9c07d8222c33a3cf8824d34e9bd328d27c78a913d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 !I Types_Tableaus_and_Goedels_God