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 11LI | d ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=17.360cpu=27.540gc=0.432factor=1.597zXZִF! q]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`UtrD x&<$sLS+9E8^4_zPc<>r VjzE@w !'}+k 8i՝A&e=<\m}v ҵ"^a׏]u*yiThE0.Gn^`'J cI O$xYt/6l^Nxd ]蓷RӕY_׎,ڎR^DbtFy Cl{sˢmLcK,IHf5Cv(kY[8+;b7?7 7 `)(㠸iHn2YqMzK,*:ωvjl)jKR_IU?p: F_ ⼩nWmCR9/i,+rvg's"=;Hi{\@<{ 8[BvZ0C"pIbn+S2$L>_wF`tIL/АA#@5 `2L<VӱgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7i2*F.= !c)}/)Ou[qUP?j3ъ^{N/whQX.=>B"Z?>G6v(ЇJ5'`6ADV|SE~1`?k9qgYZ7zXZִF! }]ŗXi%L b"h !Iav8}L"I+.9ɜQc̺](<xݸFg~;@2G8 G\] a } 3 Yq4=-DA,@ƚ H/R=.T N%C&^yWӲq0ueOȾ``-C,v-D 1WnDhfY1+R(y SН9-%> GW*%YD'P.:v[X\֡[h[s̴:#&Tif~ٕ {g#dkͯΟ1Bs+]x3ǥC٫_]e5 gC0J^ @۞ :UK$5mjizA qm^&offc'/pҌt.3Pqc~-~P&OL>;֟`09mw'[լj`:5]toWIjSyK mYʫ{Ȗ&arm̜x 4DZ4aFR..ARP qj<p\o&d<C ٫a>}*CF4eԛZv!G72X~Uc,Q~(Pkj.|Q&Z&] O'@|Ukb)v`g!cԏf p RWHc,C͵0ټY+!S-,FHO$N'@%0բB{_^Gmxp1J.[{l1T"oCbeO4ÈC)MyB3JFtn$?ŢfI\% 32OvR7XzȧI͛,1rg{o 7$ꉦd>`,b5%0U(b_]jE~y,^ aΊ1ʽiGtNvQsa jxt{ּO ܏('Pm;L_l*3"N!HU9J1:%l#C"3 \γޣ{v/X[tdp,QPbYWxqqiz6a_1imGDZU!݅h^3eiM9V/C{!Cuv->lz3%g,zfW)JcIN|+/L6ӕ5E% 9,؜BA [g5'7νXZ<NF [hK(l ͠c5ݾ=vBY_pӭy7:k#WM:䬞 GűSiP&_Ⱥi2RyQȍ+Jw:13&kӹz{;8ݠE@m$LRK2GVٖ?!fF>t-j7HD1J¸Zޔ}SC ب`+?nqP{CExo'L~D<.F5SyB+A~#l^B~0TѾS׮tC%ՁÊ1Az*[9fd,׵ FTX'/ۡ !8/O~^qDqe"]Z+edu%6py`u QOs$>޶4Yic]*/|Ew첀]S &UmkgYZ456435d8925dbf5b48ac529d55fcf6bde9941c2dd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 !I Types_Tableaus_and_Goedels_God