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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A+  ] Epistemic_Logic:threads=4elapsed=6.081cpu=12.676gc=0.376factor=2.087zXZִF! ]ŗXf[&$`IGqOS+26C/~.a,cl\lU a0p1Y >5Q n˭+teouD@ʭ0R+vM -!Pԁ&yJ+(i]˅1xղeT 7U?iD,!o b gYZ7zXZִF! SF]ŗXiɟP6.zs߄yt$ILյV'C~SQێp&u`U圻* gbT)K}YZ7zXZִF! 9|]ŗXi%L g"(c3x~*Ǡb_us̃ ,PJ jo^n_68͆QG EۧD?4m=BčŰר%_-FVḘNwMb2,-B:̎*3e-0jW|4E5H AC)3NEw$@n>}(o]Fp!66AuxvA$վr)y uS)L##ɂ7Eڠi*-t-"rЌzs*h_  Fz-RVq"LQ&%pRlV Q`} sNĥ$I5`dNlT#rVAh̿!a][LN`oRArAg*5Emf5;d)\^DOȽD+Q컅0-Z l<1T Z[vt^}|Dy~BOue dzWL_Ji<^_B n_>^Ó_4.>km4L@^@ ޾;>Wn=ֳ;(^P<# {a/TMbNG榷4S Ѭ<