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  G! D|L ]/ Prog_Prove:threads=4elapsed=3.784cpu=11.240gc=0.456factor=2.977zXZִF! h]ŗXf1-hg3U]r1K9a"cX]ݵ*RmFUI@hX a}Pk4Y7(B1]5qPu;))\qv5gql9E'RI,seSOF #S3P'='E83HDOlH`ݪ+{ Up臩Hy9:{Q aF%?/1 rUgYZ7zXZִF! ]ŗXiɟ˕A*++Yđ+YHz.F׻!BtY78uWSv !;Í}M1iT6A5<o4p&V Գl A͊ M73)4:ޱC#R~ʬ=TP˦Ľ"h>yeGvgYZ7zXZִF! ]ŗXi%ES3kkNcEb$n[@ 05\ReĶF5P{%/?ݓ6U5 `GV'ws0m͐謸l!.)WK GOZ{x{*+W]2?:ݰ{.h)U&.XFq $=xl6.Z fTeIپGrلJ;ER®"'D~rPb[;1 ͜Rk|dPRc;܃6JQ:ߡ]E2~Dsq#*xE>^ȭ)_wIRA,b=e1F5dOS&4d"U&;iv%/U,ڒ j]Mǖf^{ݏ '" n ډ誅Ij}86<[R;b PtbK3B'G8H}竤@yR;mc_k}c=j "(sXNKF+']qӥKgIl|G g@2a!leG0N>4l+s谱7paxwCt`(9YΌe1h`gYZ54cac9e25561f346456944e402c1144d099f559c76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568  ! Prog_Prove