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  ]tD ]/ AnselmGod:threads=4elapsed=1.115cpu=3.428gc=0.000factor=3.077zXZִF! Or]ŗXf[&+K5e0MH~ﶈ37mxu0=LKCYҐ +,;9:JaAȰw}7(Gxf͵i]Gg !2_gYZ7zXZִF! G>]ŗXiɟMf{kl'dsU "7Ovp4!+ghb>}@7$ZHW}YZ7zXZִF! ]ŗXi%I oPF&|gKQrRERWj R5fGTOce|Fd,!Pq<e(zt7b"߫t@-(_<>W -lP9Y47l#ܷwQ#$||͋_ڪ_>)Xno(?::EM3gYoZ=T9+:tKM'?D ̹nv[]~Rf"sxb~0hBM}@"s29&1~7y[z7Z65n\h@Rh3:Gȧd~1 Lf)XT DD3tv`Z5ALɖ%MX<|ȷO7-tYXrpA:Ǘm_P6Kc\ԻDI\kG8֚r2JTAoG V}mo(myz0t`U^phZ-V!Fx4S >20h!>c(j|Bw ] 49A++{8. i_Ґ}~>~lj1B/#bf$}% UR:2iӍ@̈"ubp-HÙDQoJKۗEq_#~g/35 W6gYZ2bb07376810ae72b79ea80899fd72f46a163e72f5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   AnselmGod