SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info v4 ]/]HOL-Word:threads=6elapsed=23.940cpu=108.324gc=4.3407zXZ ִF ! 8F] ŗXiɟ7KIxjbk- ݟ83;=ꚞNZGXGcXFIu4ւh-ś1Ǘ;Me$8E\d|zq;;*|"s=JUCa iʺpV8}X^Lʳtr{ZQ9wjl~svb5xu*1M͓X^%Z#~sJFj<aɚ,VM=ͿSfUH:߮ qFX1wdp||ѧRmsA50JՊ91J$P~ImlZɪ>dAHxzdg>o飆kgA gPL~+(VrMJU!AGMA]z*ӥ_ H&>-gG$R2`|eH֣$: a=1/"7l{XYvN-|_F'fAt&Dlmd ":ס/Eqh_8@ء7`g]p4Qb[6rc\8{ϼCs8L\{y}&LX%bR1@.RnDŽma E뫚f#<)jٝIn7d1PGA B;pI'HV(á Cv+rE5^)#OfIJ gc/P.tUm$Ы1/s}UQ2@3^bjڌ5ǂiHjpK-tn!a=^m;`-Ilu#z~&JYMD_(!e^ +e0,F2x)l;[!v$