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 l/ |L, ] POPLmark-deBruijn:threads=4elapsed=15.208cpu=51.352gc=2.320factor=3.387zXZִF! w]ŗXf[&J3MRag(邒NvJ (LV/_P = Ly[whL_! ),v{;*AnOy4-+-a0ѝfgI S+VhyqކPDԒ׏[Ld5N oX;{b.rrz I޲;w~#o"tP.OzqX-s}:gpq/[e67ʩʽ6a VrE}^pJm[osjBɺ;lJ7j\8\eF :iD֢7)ŞnJc |h.Z-;  }F(tN,fH(L P658±a d.ңzW}"~8RýJ7__/cS~GB)!L02Cqzđ^!Mo<éz&J2Ӫ_<8 'G #0S*`=el/<)_.cGh\^wleS⃉-9!9?BXV%9%jdßB'ǎ_>+յgYZ7zXZִF! ]ŗXiɟT{F moEhuFwI} xٚv%űUoP27OTaۘ4|41Q#Em_|ܽ=x(3ʈn9a{=(]XJci 6 jgYZ7zXZִF! o]ŗXi%Gfwl y8)d\AT٪:dV],2A2^-j9e yg;>/@(=JYXJi YaKOkZ"fÔ#vLGϴO|,uWuͼ%Sp9uUӧa&ղvdz[A2!VagM,$odf;u"džF."}E<սo߉h<%Uh-x<e@1,#::9qe OLnc(p{ "ŏb8MCV!D<ׁ_}<.o_w$ܖSVH<=z/9siA4:lGݱ*b纷K TbGYI2mǹ>_ rۋR4f/ݰ5jAi sE?epQ:59v/s:CI;"xx?,xƉrhj69{8?oZ`%܊)2*\+ɠOZMn$ O}#~5nJE7K)(~GWLE*[`92!N~we,o hPo1믶w qڜ$ψ{سd7+F)ԣsMahPpjy1L:>X,-=u?hvR@.7GΘ1 OTapv>nF`n"wbZۅ@- Zjt+U\CN#rR?PPXxe0ebW.lU^VGȂP4G`"4">2[N7+bfpH1Zm/V3̳Q<-hPHBHz1s=|ɏD`4xt O˘/ "+u!@!Йfߐ9p@2l/1 쾝 _(_)U?Ă}MM'aUhC[w~.gڞ>}543>aYmhe´h+鎖E y֕E)H uIy >aZm< Exu.2\2+GvSVUHonp|jQ_{Ģgz <Kg8=uʌL~k@—*'M6{>JS:c:[`1eRaGWR8uF,x Z$ѥ2~h5,rpw ۮ\XY+y`rIbR.w +R ²/p3 LݺlMr'95U5?ft1]yn(T̏4z׻OHwI5x heۧ;&U?IG+ O6*kiq/˳N;;b/M6bo5eNqeWR$JFJSQW5k^O@E SQo;XjFaI8bQו`VpsBDJluꉋg4 #ѮdiНԌOQ.OyJ;pRWJ9!,> <4Pv,e=A^gYZb242d05b09e4d0fc9421b4299b454616a8bce5901795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 / POPLmark-deBruijn