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 ) \7e0>]E]*wp`T!J0`5h)<{a?mgr+׮Ѐ~{^P#dght:! s@Nǧm_ziGF,V3!ﵽ<.np^vOf2C3 ]綾Q7~?: Hnf2N<|@T|l k`)x FC6s 2InĚhOb/>CҘy2?1hTxaONe "t)⭢ec>{AsUA't.iƧx+g<&=HKrrZ chDwN^FHϖ{`C>ߢI z5S~bj} W|K7BcBK5|t38<h ]g"Cl!ӭ#9L*G10tURU!zZeqIeX#1IkQ=ydpGF'2l0X1~W5HM uab6(0Ӷ.`<*o?|U2c,`5}jZ)ɔ6Ն6! ]{fB,*IC[9_ T8vy+( ';U(K+ avo$jz@OCvth< Þ2)–VHr Gro?w[rnfm5ղÒh3{+7]ԔOĮ0=NNgTn%\PT#{=S{fµFJdߎoŮ$J%p$[55N )O 2Yi0-RfEhv葚^ R3:ZLGj' _n z/ɏ$‰CYzM/n!]C{cQNc}^mG!Ģ巻 ;[ I.xc3BIW%=*WWłkd6U<:rjNA89ovun:( ED%DzHFV৴OT3m ;rYy)ѸI" o0t95VH?`q*%qgB>7x cWIf^uFZAW!lBeMӁfKw ")-\p>/Pפ\E~