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 uuI ,4 ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=14.103cpu=23.276gc=0.284factor=1.657zXZִF! ]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`KynpN7]!lE,YS+iI9{ko"AWJZ2/OL U>369a,sdc?8Wэ_ҷcdu\ǪHgZVkRaT X/{w 8Rt-@+Ta#&GbQ{ωcp"ub_ܜN4훧 V9oש\V^طn0UVD8xbxQWGfa0/<M_(L\}X]aۺ~(ƙf (o9{`N*G~mh &a02 \⅟<L$w4L!gZ@]aCnd8rɈ~PTyһ#DZXJV灝^ Ce`(>)AJQrH 3' iY I,><^tL]|W/9]I=hBb1Uy.|DŽ[[$ LqBRlDJ\9DgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7f%xV$=ym_p& U REZK&!N F ⌛9HOff%y֯h~kP÷Japh2< mquW{sgYZ7zXZִF! g ]ŗXi%H7Ѫ l@U6I z2 >m"{b'eپ[A2z<7MH|A\QQXȯ B\\nkٚOSjzy$xN #|=n[2ypDEoUvW Nɞzo 8_ KlfET.{썛0R0?'di_T*/rFElՃ61o968 C6k~7U'GsES^U̹8Tq$Usؼ{4hQ9sꂖiC4O$Mt}|L&íYd@袍!jϸŝ^"̽ټX_K'!1UY_e<ѝS'ȥ`I rqZC -H,x D4ZUr ''y9|RjL/ج<bl,-,7ܽO@mVcMCOy czlz3rT`)0;)!lF`UyE9]㭔br.sߖ#'aSAY8zdP$1pR+=r\r5y4``-,n ݟaHUI\I.R ʖ} :m$*W)kSQ *Jwt6mI>>^EαKC59,i+hTT HcJ!`މ4o{ ^N_ hr􅊲Y#rVzm@>._@;\}5t4xUǻ,ta} lvSbsF5Dkи6cYpsɞ=+ 9>aRW#adcRsYW_p/Ei7v2G4 4g9ю$yj%× dp[hZl͇hRX^H z{%3Z9m Tv o{yTenč;qH}N,P|.g:[${Ѽ&#1Pc(2övqg:l5OFXtEzm U r.ܶaV!=j.Iae!0`4Pd77&BCS*;-㐪bX:VdHm'3g/UCOX /)$:D8iXgN%jR{Sj !~t.C~!G]YeR/y6 q;0t]k m5&gYZd835501169de98c7fa48850301a6ccf624b6f105a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e !I Types_Tableaus_and_Goedels_God