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 4| ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=14.045cpu=23.656gc=0.284factor=1.687zXZִF! .]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`Bo즠U X(`E[rAgFCThgڎ5h“%>P`70v:h_wpj qW}Xߍo$#sY(pmiLc{;znū Z7h3`@ .Qt,+p|Ե;=?"Q}C޳ELH*Og X+NATPN-KƱ/n$ڿL f(}ZȮu!7/K-\jrqwǂ׊xX-`͔x)+C&y7c\TK+Z'M-cv\'(m Tk0Ivu_ , DJk& zjkS>(H,=rGƠ5F8ة. rXq;ӏ<۰<%S/Kur\1B{(ӣw+Oʌ~^*HY߲÷N >:-Po}ƀ[Omg"ua^S;6h.! ']yS턲LTf^B5 E0R'{;}ep0J)ݸ 9i:&BWgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7]t&RB7:e~UF.\V, ( '"b @z;5= wa*" G'*jfa}ܔbZZTx JbX{>gYZ7zXZִF! i]ŗXi%Gcŕ̡BIX֮9"iVVLfbIKj&J`T*w<{^ڢLcee-tZ]bGLk G-oa:lvh~z͙/5&}^Ktִq`W E¦cLauz64>>Af 5-'Gy&iq88nƫXeזj3rX%N#Gyu쭧[(pIRNQsq ]OJ6S1B|JdXZxn@螡`QUC+R *?msլ< 1u/4 #HaZ;Th4:l'N6qrkd;4@cMmhx]>F`mh06j[/~ӝ t5\Y @8{a R#IE WJ|WeL!ʍϋi!2tdf\Jqq:t:ᒯ͞z.Tc] =u>bQC3Q{rHh g(g+!d!Y#-@!ˀS!HϜ-_øhbe&yUz]xǺi}.S'2 1yؚ~*f k^D $|kL#Նם9{t(ٿΟΫ"j(&WLwPiсm~!'\ |2BׯJ./*2L:G-}Hy{`XiyjN{v=W?$2ŰV3\:Tm^M-d |@(Π gK6yxyaӶ0_>2ilGyyrqꭊ]KM#GD&B»bqYH6tiq2ۛ.!h-C03JDeE1+Q`CD6̆t,s<#FB@0#=ײNdRfCYː(4:64騷is5^ÞY @=v?G:1' BIX 6WLpj[! fzMF8yW[k{OMuld)3vv!̴4 ^veoeA2cMwIWMK [TѲhK@vR4BJ_83AX4DѤ:i腈l'xS!\Md m^J na#M.z !nVJ^ I6^Lqw,baYW.0 xW쮡s|f/bږ(Iy\_kDM%JWvcĝ|QrЅY@/?}0IB#A׻F`(4)0M%UiG4~c$^c+M`I$*G4nŠ9> h5^"w$ VtE&}#{%. %!]~W %.,Q rջ\gYZf44ef1637da50c79d98d3ca954f78c7565dceb951795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 !I Types_Tableaus_and_Goedels_God