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  MT|L ]/ GoedelGod:threads=4elapsed=7.300cpu=7.992gc=0.084factor=1.097zXZִF! a]ŗXf[&D60D'p'Uw2+*Gu[e?0 V>.p/ACAhd9>}@PbgYZ7zXZִF! G<]ŗXiɟj bk4ĻMGCp<(rzυ?Ӄ0ocBxXHի*}YZ7zXZִF! : ]ŗXi%ES3⽙7A'^Bgp3jכ(ӁLцEHΎ\7 ɺͱn˾k i]jXa=j2 tt',7Eb,)o zç >a l? !M~v>2,!‹"S*Lc k'mG"Di x(_Ȼn`la%+Y'>,=tCur[FVѕ/D}Gh' ~ fND?y1g`>bDnϼX-?`Rn@?`?2x+3#7H\'Zb$wѷJO)1_WPڬ- qv h 1P^(;f^p!ui{eM˅g 9eYPth ͭqt.}VݱgYZ0b957052ff8d0b21561c32414f3720dc7483c03576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   GoedelGod