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 xI , ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=14.818cpu=24.496gc=0.432factor=1.657zXZִF! ]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`K`BN|+,bX0N/-InClyB >Usx xyRkR_=s5@1Xm,vG7;w2lffh/9P{4[A߬M}tj눀 67/ BAcJj#l6YX c`D7BJ|RorrABBQ\d*x??ś"țeSȌ ߭NDx:iK+`LK@qr_ M}7xjդxf0WJxG[pⲸ?]i`f.vU0ֵIcG9 3QWkAmzwiU`l/̢S5QDs2lmDW 8?5wN!DE\gxf=57Ѡ' ?aecF&`ŕG 5(}3R}aĻn1,!s}ϠrA]  :k'EGKaiБb˾ijױ1 #LgRbv_9BgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7fMxV$=?]IV566n, cIEYXA;;f)(樑)z~)Kh)~ 1D)閁0 \4P7`ܹ23g5 ta61bM%.ɂEc'gYZ7zXZִF! l]ŗXi%L 0ڋt 6Tn±ℼFџXahJ FJ]{,ҌÃ}Ax9M%  ;7&_K15BpG{3ڏNJxrZ`,ԿpdlMcgWQ-8o:9{#'Uk:[l& DFh)WnETWϦG/'HxZ}h2bӼI';(N!:MlMg#b[׍6gwKJck ̳*K2iY N!"^M6Y~"ߑڋnLMX+⢽ԛ+$3C-n?ɍ^ΙbQ;iKRH sXU_K&C!|7ƪ080a  ARN:xOK7O㍴~k36Q ^BM-f0۶[ޑsO"Sɸ&Pae,נKص&}_fc4n;.yK"|#rVR}=.{Vh9=7iRV &ڜ VjGMDl%lv߅*.z $uy\p N,ȧz͂xy’=N$dip7QS=bi3DqI?1F3 )l,$I:lDzba~?S? %yE,H| R ミ~ W4^=.:XZ Hwob$ռb(s.*hئ&0&X(gJ'`Pwf B`9.u%4Ika;rV\J`qӢ6no2FA :Ni2$]v%OqtNytNҰhEt.bq ̃wW5Xا#_\ ^2 ?:;Qd~+#d_Brby-C&^ejZPi[?$&op%%Y_n&bZ鍗) +;f+=Տ[.f>{ňF9,@am[~X|D,WOA lhV`&3E2Rp["Z(D2BXS]9Ljvb>.Yc_SURokQqu@)FH0BQZ׈u E6tbiWU9ψ2)gF(cA<^1+? gYj1)jUǏi 8{+gil$4\sm٧e[>g-Zk6jC|:M@GU;vV%TҴ@5ңAr KZ&MHSmN#gf޿pя3LȏDRvy : 9 _ {w`Y\Ri`y_ٌ~%kH-t_Cmqܩ kjz%7&\9 je珽̋ /`HY1mJhc_2}6^ T;_G'kPG"XgYZ5a0397d98a9626fc6f3e6a1f4514c9f0be6697fcd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 !I Types_Tableaus_and_Goedels_God