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 __ $, ] Separata:threads=4elapsed=7.850cpu=26.276gc=0.544factor=3.357zXZִF! 2]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DP# S5=sm"1  pjy+@.4O'NAsn](J5Aaq0ZA'AWzYbS?^!sA]r=etz(Ruá+Ն#cǫ|, u' l*%~0,׺(>A#x l*Δq=, T ~fi<~Afd^9r8~p*$ G_\cZA2+-"5)Tr:22OWW(_r D))#<^)-3}9$l8fgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko:!|crԖ@ƽ' ge t~ұI Og{]M߀<שVrMCH-O\BHZ[ ZgYZ7zXZִF! @]ŗXi%GSEɳ3gt+tRʜ@Zc!>cBraVL\aMm䅜yVU)n*N+̹-:(,}"Oą>E{NC9y`>-6cV?A'p\^l&v)U,7D8m`D!)%D j2m: . _#ylܮ,?{Ġd_P{l ؖV0gvJqeigG,5Ee5y]+"8^8۸8[,EED&]CsKsI%e6!!({Wkz@(V4YRXNWt7^/Y% W!+MQ2JF br FiEߪ7vO4xU~cP+ғ :AfAEI{McJ2#^jSf-@\o0(rr<ԽФBasMEB&b:K \2sK[Lmݢ+*VO?DSsFCdgkf0l@s . ȉLbzTC,M iAs\͂> SBAa)Xd&qsiC(9")r>!OQ7 X0|$f4ϫna[G6`,f]n.q/ y`W?!K~Uly&[ȋPz4on0@9[̣>ymN]3ccC7-&+YJH,R)3:dyHtu:dCf̼*og(oEiB{~&Ʀ >VFm,cÀ?*O23&zr۩Dd&;R;F'0?5Bf.-Î{oXQl5; ;n$~^.\@z-/U~MJwiצw\V&!%ؗ'Xץš;hK6 *#Jـ_f,~FhPs s⃄P>@VA¢Fߛ߅ ߭_]~WcC)qѪhrvV;j!`y,W[ q 6sǢ4qkSWx'?{Cʴ 2+ܱgYZc1984bd9cf7c7c79e46b887dee60d4a0d67db52e4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8   Separata