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  #! 4| ]/ Prog_Prove:threads=4elapsed=3.691cpu=11.688gc=0.476factor=3.177zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnVk<*f`@?Bql6$$7@؆Ր%m0ycT7Un #jũ:5.A$EUL)u沊Tr+_զ!,B_"l͖gMtRa6X @XY|HɢAGvm_I&mA'RO҂jo( =A9ٝm% 8gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȴaZv{r~ihF,s Tx8xYLM-p׻V b`~:5txRb(OtJLLe pqȶ f|^B]Gi*]mT!1c@h-YggJN$Py$ aP3vږð'W-cX!GcoJKo4KqGWZr<,kߑ!ױ}w_92o,u`q5H_h7$IƀBS"O%~ٍ5miOʡbRp SpTn~\kьO ┑ B[l:@ZQu ]/[Y7W~bh Ak3{ha;pR:봫x4ovILP"d:RtͶʤAdc8z#H0UOdGLsF䅸o87ǻs[8`+JR? ӟ]Np&KH%f$psj#{o .J+F%^cGɟ A[ɘʌ.׊4xQ0ĬTBvH\^zX 9̫.r/$cVt$.a~?tgqZN4a+q(z|rpsA2Uaa7l/ 9F@/QY,,%.˱gYZ6c22020ccf650c5fa28e5593ae165f625e19284c76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1  ! Prog_Prove