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  @ @=t ]/ AnselmGod:threads=4elapsed=1.148cpu=3.440gc=0.000factor=3.007zXZִF! Os]ŗXf[&+K5e0MH~ﶈ37mxu0=LKCYҐ +,;9[8<;$s=_$C]13^Zm(RTA^64gYZ7zXZִF! G>]ŗXiɟMf{kl'dsU "dD"@ QiUtvqj莥 0umZHW}YZ7zXZִF! M{]ŗXi%B۾2Zæt==׼ E\ёg пN;\kSd*og-"gڃTtC%tG94b3,J 'JvНM\qe^ f5ȰE!@~_v&/nOJA:cQUg)1N|Yj@;GL^A^'hu(r/W`$?_TpK~U +$\aswӐ Lb(x@{\Uy i@:% %h**t\թu>:I3 |#{*WjJOǻ6u[+0wxu+>G S&ڏ i IJ+  ȀїT9G<,dMb躌gyox{nEofS@Ml*$pqQGM8L0kijYxA37~)H ImC7.&~ ni64h4EsQ3Fq? + wtn}ScdmgwseE}Ƒ鄠B:nrG#[zmuFO0/gYZeda6ef2f74c681dcd3aa4e01a65615f912341b4276b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f   AnselmGod