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 ]] I  ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.916cpu=24.044gc=0.308factor=1.057zXZִF! "]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UIB*>Jh B~8;.--`jAz2CpۏJbre n]e+bn5k(yKWS}.}#fIum M2n5um>X6_:&{=h6h$.+~rrN n)Wmi6Eppyo.uG'ފ?=9_e5e1U:I`o5B1#-Y sy}i!U:ш.vs}̂dċ/!$MS4qD[v+K:978)]P*ЂQ(Ͻ7\ȧut2.4E'$ XcOɾǬq/"Lz6qm /5 oDJ@8F("-ڞrMĊ6ZCٴ8#$¬>wp9 {74{u +\P%`~} j>kLn p o1)ncǁDT,Q|X<JgYZ7zXZִF! w?]ŗXi%6yKG-l'DYc@t=eu'vPMǭ.FehÐt^0& ,e]+-\X' DNMo7_׳N2̐*~= T|0]Z0P¶ X~sݍ"xޛݝyln!Ǟ/h12/uR >u&l؈MbUyΤ|$/!f/k7x ;}) "..B|iaBP1"19[ ˲* 5 I^ 9̠{̒ FZ۳2(l@UQ P]%@3oTOhU .N{m43%|{} "=͍P[ϋJtt bgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecbf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 !I Types_Tableaus_and_Goedels_God