SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  s s $dd ]] Sequents:threads=2elapsed=4.022cpu=6.844gc=0.140factor=1.707zXZִF!  ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\K8& wɶN܋z߄j~Cq 1)s8 4b5!2ذ9ɭ K3k[<6[.j–;*b&fIh28w^%' ti0gYZ7zXZִF! ]ŗXiɟBv l82Xx[&^7@ c^[9'Nh:] C0pJh- g&ý5V?ttm]U&k "{i?x{tv7n''ڷyD{p)5˸v:l'TlFYRnbd prX]̨ފO̜9#wPgYZ7zXZִF! xk]ŗXi%>bl_wSHp} R{rgKH'C`SX9u*6G`\ѝV,GwUav歋K㲐'{x}CmN2OؚjT3o3\Tal`0?:cM{vWRNl1Xb>n(镏(Ccʼ;UTP#0#1z [7I6$-lʸ`c`Jo1ەCޮkz=,G;')cvs**0oZW;PȆsykr9{&_5Įk-? {UTL '/z6ȋaqXGdUWmyu12i6o|-݄jvb!uL1An7g,ώE簚_C@L¼0;KP9s,:P>?-QM_בc\AO)'I} "uJmQ4ISDJ%|feyKK-o=:OK*ƱgYZe41242c09c7f58cb2891524525cba2cfc1385c121770e7d42e284900cf7be1fa0dd3341bffb6e5a0   Sequents