SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 eeI  ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.860cpu=24.020gc=0.328factor=1.157zXZִF! 6]ŗXf1-/6vR[l>ۋZKY3;LBc<'7*HJ)lV(3(eh=ITXw~_,wqZuNF/L(nߎ'*peGsABD#U9.i! +RAbPY3YI',Z'=aLI5?0@?GvPEN9L|l4P*(+Mۻ|-¦m|MCDפ':70t/`.Wfu: ! @V"eint7 (7R]\l)ӎBيR_<}8YpUƞ 5KR8lhu|T)p_Mn/bl[؟ Ǩ˕G}ƞz2<6zR{/ s|p,I4شH7oN46hi陀x?QaJ¿;m0 vՀ벽rMgM ȣ=6j$ BB$ ;o~z /ghX)㧧X*(չ~YM4e ,O)B)Ń4˜Ңy"z'֣EȪFUgG? ̢P6O Hm,z72ˠɏh%f\سIn1L֠N530k l<L0 I2}`_CbJܤ?׉f h3 ;o Ie"~3ߟcvj>Q}+fmFz`W˭=fХG#ȝYF08X29EYh6PUʤUppŴ%)rZJ6M[ ۖ1LO ;Лd~^o ½Dc:*Jp`k= LXG֮wSU6Ɛg2hn.7O@r*cǷz̽$Jx_m37cv/vkYM2e8Vyax3I[(S>]s ȧgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb !I Types_Tableaus_and_Goedels_God