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 __ D| ]/ ZF-ex:threads=4elapsed=8.498cpu=18.032gc=0.584factor=2.127zXZִF! ]ŗXf1-W(T#0P=ITß86WK /gṰǕ7]E^[hO*m:`MǃiK 땜 9 `C߀8Ǝ9T-HnaVvV{U.Bf7.*{?&=r./uC*cO1=WQ)#RNV4l9gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\ی˵a0f6ąn. v*Mb,&]J )B}Yl{kPK圍]i͵in<1}:0cE!a[rq ]n9>TܹiEynB!Bƺ^yf_I `} hWqXgYZ7zXZִF! 2O8]ŗXi%G̉I)z@25`;5qG`r Ғؖ[ nv$LmFrܔD`zӎ?6~ W%LKN tFA o,cUc wp<<.ͮ/T~Cܭٜd6fP(>S=|_3LRC)8qRTϚ˾fr/XLj][X>=5rA8;2pəIs]Au >RS:셶 s}/$SPVN{}x{gxPf*CM֥x>XWn1>Nٽ 9c!j0bu O1L"C}X)n`W1]/d6BvvꇕߙoGg4GggU!X`㭤;vzH=bfMY9&&Iqmi*rofzZ#F5K  [džd<9 SZoiyĴZ :M~P! Mf=C^W# ոpT(^'ܽT\@ >z<#I.2슆aAw`:W!)G4NѴכGs@8pfcId@gYZ8562e337cdd1092427e043d47f5e6de420b0c71b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 478f2ec7d359cb940a5af33ed8bf535cd831ea80  ZF-ex