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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info , , ,#4TL ]S]HRB-Slicing:threads=4elapsed=343.395cpu=1015.436gc=25.944factor=2.967zXZ ִF ! ;T] ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQ$:R?CFi|S\_YDOnyISvKUtwh%sFNi4SN,ٞ?Ti7)`ʼn$d=-GHxɥe_toǢ|^FY7QXHҀ?\Pۤz<*X3v>{QE l8ftO#cfwdr)eT̶1oVfQ8X٨CG2|'4*=.Y6D*'5 J&qСˆ>*`:~ijᧆAx _qAM H:L"_ulm==/AWbxrZNJC&Sh]m4-avC! K!Vڶ_jHi$cpgU{}= PkzvW1UMV삉Uc -5]] l\" l1 jz}`m#oN|5J(d3^lv P,&Wݒ!C7U8.rp2-˫hl`AT8`R Zq-Lۛ%Ӽ$%}rmmΥ7~"6F[?U ,,3ŀon}R +T@K~ 3ul& w:gu1~Bt7`DX*o;mlNwrLDpJ4I\JK|^ʕܦ@mDv ?75In}l E+RN0<'RJ7DKeG.fWS` fUݷwCO:ԐyI;{t#*sRWgw ms ?=P2{@MEEL:˒C|s!Bd*?Q5+=䏸0HT\8\DmJ0=ӵoi&r0暛 !hce.*9[&֛}"dGs J;`To[2M/ǝ**"w2M.;#=ё Am-K?aDK-n=IE-KXL2.%b5`RVBj4;..(w؎@BT45wcVsvO2ϣ=$罬yhݩG,iQ#%l鋶3;hǐ`q)ʈuiD,t