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 I I 4'p4D ]/ HOL-Proofs-ex:threads=4elapsed=1.374cpu=2.324gc=0.0007zXZ ִF ! |] ŗXiɟ 9M7x )8\ %Ȑz=ff]u;ok)^WLwds~E" gR[Vq yS0pyp|:p+leeeEj@ mU_ gqg YZ7zXZ ִF ! 5 ] ŗXiɟ11c4I}y;}a\Fv-==n0WZl$_X>n ):o>t1<`p""1P#ĖM*#z81Yp]5b8}jEj{ ' Hg YZ7zXZ ִF ! ] ŗXi%D8W;C P}\*R+ڀ2[* Xba s5m5.BԒNƁޫ'W"4GzorWms\뵏SU^"I6Et.-V) >@tc9L;!Ky>R!4/w yfOZ'(aF˯aZX)5ByC`r,4ZPrZHX ~ΐ?PBFFR;Ed_1=م{Uk8Kג El:ģZA>