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 ii/ tL ] POPLmark-deBruijn:threads=4elapsed=13.531cpu=44.008gc=1.584factor=3.257zXZִF! z4]ŗXf[&J3MRag)-C Xʉc'~ W1w PArB>!f1) ͏Z;bt)] G4o5"YMȠJf5hD5&c3_QlI[9RO7]L?'+:V8_aP{g_tKz(; ). rx߄ TjD@{R 7}bpS.)/`rQ<MP|''H&Cv|۽k‘yݚU _ SC Xr]:I y]d QJmly8*l5OD5̭cR2'L1 w[d d88 J d)da O+oTSy4T=Rg ϞqLŦvݟ\|~(9p`WLNo0(1W' ه`ԹV*NjjV-JdeDgN,7"mENgYZ7zXZִF! ]ŗXiɟT{F moEhuFw=xٚWc8OEX=Ʃo췺h-R:z )4$g{畱z뀍K \l2|_ZCE6g|ϴ/u叱Oem_Ҭ<7F$fO!\$ 5r^ɒ )>ifV^Mc&q% j}ƼDT$*F6_$DZ<H3T#Rx$CiJ"So~$5κG:˩@_AŌ)u[wCO<&}lzS@0B-5glƪn %!8N·cK=UAԴYk4DR(BI%x+P[Ťt"B W'Ob(e[ RXAi.Rf A³O_Th#BnU<(+f4Tlgќ3bvyۗI@{@7˽ qCȘ]|DM^ȭ8fڜZ隮?K?8 6` eGouvƣ⩛!A2vOoax{u{ٽPbGg-_)L)p&P),%=dh2tM3_.W+ySI<9L/WFO&_/8k(H;06^tgKjr}PꉢDú?G EjYr*ܲ_̂^i1U>;?>Xޱl{hWϓ/LӺ_Ϋ:4O7P ̤,R|@z>X=ս *CoVyYaA-sVW]lMToKܮHly^0UķB$OnKa6y&{ݘF"jEx Rߌu};h EcLboV SEA:%<7ii-Ӝek[͟Cϕ2#^ү;c f% Zk^%t2Nc 5H5쩧60qRSog<&ف9!h"-zU+ؾG܅=봥 }d̵BPC턠k L;Bƺ@m\YU8 Yg6BcTQV畏;:Sp˔ jMN.mCf6_Go@V5 Ah>[dQ+LSz5Fe0UK>kxGj @Lb YZeٴ_S 2V49Nk4y_gYZ75cf3cfab88dbf2629f8eb56c683a958b3b4526413f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 / POPLmark-deBruijn