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 8I D ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.147cpu=23.648gc=0.280factor=1.177zXZִF! 3]ŗXf1-/6vR[l>ۋZKY3;LBc<'7*HJ)lV(3(eh=IT瞿|?Y kji?&TKWWk$y-GQd>H!%mAr._bM4:ܑ&y厼5meuL-^ڭ"ԡCP#.(d"lyasҪZ*a}F ζs`YyDY+ڡ7Ѿ U__k5lqSxA{5:q?6KN9g/r%aA.wx3CM\_RjpAa&<(GhorO3!Tr.d3ד@ eng;Df{%x] 15cT@Z| Gy3G~Lv~߉PaLL27sG?3`D,vb?-捫lE3f'Te#X1 z/ WjY7s3]ˌC3bJ^xmnՐQuڢ~߰4[ˆ~JE!XTS!לѤ04['fjoy뼨hđLf)9;3bx"[k^hHR5W͝UNc:~ |MqstTiEC!os/s8r&bA|y֡ё_:ryb|Ubgd&0clH ~iR ÚJVAdO?1Ѧp+zp7Z{r kK`2cqot]X}jx|e (̌d ;\C&|3 L)>|7SqiE>$e1#Ӫ rՌ3ӆhU=dnXq0*O**,^ 5/}D# GD}Ieh\H`%C Țc EF:EN^hSVH\>]0JP.ձȐ߫"!}:ãAϰbH88jr0NRS]QCcNbܐ[RW:¼5