SQLite format 3@ .0:  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 MM0I , ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=13.784cpu=22.636gc=0.280factor=1.647zXZִF! Xy]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`K?6Ն JþMS3yB1qvV Knf .4P0Yύ]9-+2?H,5([Knٮ9l۰ dD;ޢxYSf#uo쉻!|@ܚaP3B# tl-' ~Hfru 0].D厛“ _(.LD(0̃1_a^AX$YBSt v|1 N~/J|i8jw5WP:X\KT%ç ^ƂnrYYirpA < cl)4[a 2KU@_>)4`kƾySVSVM}>Jt$G$0ڱVq7~77C&ZC+Xsh ޗgߔM{+JfzD SP,"1yO@ *8~r kF6r\U4qZw ڮuۦ 0jةve$]vnf48f:7gYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7`]TN{"J'0IRk?gF$hBqɩ4A_ 7ނOS<}ڕCuD>pNX75v1s;AdʦC/ßwP3K~?Ic'gYZ7zXZִF! i]ŗXi%ES3Ot[w8w)͎ qot[sYVYD+W7澖t*^9SlyvJdoET 4U/Ӂ0N"μHS`#Ts@퍇_n+`?49G 5D@ ~ȮmE-o9YJwZKm5Cb\Qm=Ws<Wc"5|9 bH14%F/ и]Lo'. w ,0 SEWQj@̊)fמ$~%Pv &bzrhr >CI()N&}}ab7;mbvRKr(HOybhOזs%s28Cw%VbF }tS ]FZEYwk7Z#NcNl/CRNkaK[4K8|xM6lJ靓 09q?zf{rf_MF5wspTI*(`YٻVu)()Aٝ<%N0~,.WEV?MA>.\31ڎ!Or]E p2l!ZO~:'_m6$TE}8=Y'b5*OWOK.;'ٝl|l-e'#R:BM\Kᶵsת:'huRe,=u̕"o? 3}n{a-6%Q&jb`r(9we?.:sDqדxD{[gtKuW+L 6z ng#. >A;sy |TD %nT5RC_ oT jϥXRr;te~MFVy5lsfZ:`Ӊ=,`uVkgju_)[;"jkj:?@0R^/Sє(ŬAcјrQHTn_O&r2Wӡ=Gk'9}j% |) j@G W~R᮫S4(pS묽+eaq[$*z7yquGL^rJy(I}Mxs=DI3OĖ6-ĀOY8WpT*1aDF,j=KD0Ǎ TfHMRt J|@nG|̆?h ^ް##c {2 aTB 91"&yɟAt{Fq19Hf“ՙRA{}W3JV,.RQWP1 \ϩrS$d֡{J-E}[SE?xˇª&$)iZ%D0,v_S欃X;m ƣ״mD`Z\P)Swejأ`kp&l@y6 }IgYZ5e2b39c7ba2e4d2b9d11cbc85b8b475ba57c974a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 !I Types_Tableaus_and_Goedels_God