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 88E D| ] IOA:threads=6elapsed=7.344cpu=32.460gc=1.484factor=4.427zXZִF! 7]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSefFۓEs: eؒ_ /'w SlJ_i׀$w$@K]_Vo)$krs-c($ ?onJɏgU丣L5dG9fxRBa"CM:}"Fuòo7ߚk]S/?qKӳ(ry|^Ǫx}2N)9Og3PYԠVJɢqv Ӓt/Ȓk7f{Hx+oien_N^o1J1-<Pe1 aIYJrg|~CF)S6QڙDcx?ɶ"Whn)qDܣ܇*IJ~Hĉ1~X\(T0"[]xݳc ZyC4=7>Q6zp ?j¹=j$ gYZ7zXZִF! `w]ŗXiɟdN'LvH۹LB5) x҅|Ƿ"t|[i% + ,^8|nY0t1^!ye?txsע=glhsmVP*^?SKL> zbzTwoUoy#vĉ íeq"e# Ư5_,p.\s[ٲMߝD?+m0sA74JHvnieeoW1)&%a%#f>톝f3I~(m\|5a{\"LO&ppy\qA[t'KT3u[6gK]~ kiS|gYZ7zXZִF! )y]ŗXi%Edbf0ŭe/@U9Bv!cA}]ZnuzLW ,wr9$Mw Eo ARhS>yK=1׻ƫϻ -2bjt{iRJF&DWt;GOC P}Ka(3;׿\|h5M6V3l=Z>'k{C.QwFlUBNI!ĴIHӒ%ZzE!$pke(J/:Ԋfx-&1$ i5Fޛu%ٗV0~@C¶P< t9p*Ƭ`g GțjO#:oX.*q1ڈ*cncSާ1, qv0!Ѷfu$O`exO3 (OX/[߁ Щj><]'TNU B(Wxd|-T`OK[CSpd~TMbmoIEHh[vR9sҒJsIAYfF lDxSoRHV(w}/[8jp&'aH>GNYFj:% @fCb f~ .~Q) _0:*'9 S8{gYZe48315265101d16d2874424e86fc6e6fda5f261c990d6f065907fe87c3f0b304ff4314e6b13119df db154f67af988a0c0df6b54930de927964ed1988 365dd9ea9f8d3462a56cb37ea7cba5badaf18ff2  IOA