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 F l|4 ]]]ZF:threads=6elapsed=12.086cpu=45.688gc=2.584factor=3.787zXZִF! n]ŗXf1-) enȈA XR„Ĥ+z'3sZfsagGYIy,|AEȔm-Y|iEH@ټ(՗A߾$,8Y CkӈYJm0vy/W- /0.H:7yyڥD{$ΞF)\ګ*yc#Zżp^zuUcDt{B yz3phM>Xz :!m|/׿xP 7ŚmyP3i(}KN!G%̙Z$]hXD4;I\:Ĝi֍/x~ĕI7 À \ݜVf^[B3d(,+:9iޥ-?^`@·4׻7!cTxMɞ_!O!!.=\  QCdWzVq*Hobga,6PGLDZ'G` tZM{?j{! z(±gYZ7zXZִF! CG]ŗXi%JH:(0uvXM}%p mOVzzU]εw!qKȪS_sK)_'ӯ [a517NQsh [Az8rf=1aoBG޷~0;1Ia g~'RBÞO@[_>MyK{AC?3(=#xr %JIU?/ ^swϑ[h(xT8M?yrE-!uw`1A>?'j,u3Y5n OUx#ij?Px;m}h)q Pw_Ixc߁JW}HbklE@BnP_:)mgx ǼW[OyU6,5h퇟0u:J61@ c,7d5HU!I~X=Ιs\1EXD{8E|ls&bPLmK 2|#fpwX$Дc³M״;j7{.F'D Ȇ} gYZf887e043da390597a059bdd1a0f50d9e14ad0519bd83b15e1e0e9039a1a1655585e69901cdaa3f80478e1d56dc5960fc386798f3d384e077717ac660  ZF