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 ]% SDS_Impossibility:threads=4elapsed=36.069cpu=90.276gc=1.916factor=2.507zXZִF! m]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yړ3@;WPxBnsS`qjosLJ&7CPϝ䎋&pnfCAHp6$U>}=-$}`NC;}0t kǦ;Q˨Qh]4~Q9gCv MKDYn5 ; C%fkK\h=}xmH2LS̶'}RwiM$ܫWnW~!WtN`(#v/If__j>YhXD1L SiFR rBQK׬(3e8sCM7*U|.$-juuy" 7?V wwʺ؄KS-`8+1= _TxT ɼX,,DI= "|;] :> 'E&d GNxACbX$RLCB[YP z&ށk<^`k'.rc 5TA,վ4dá'q&/7H~ZXrrQ s;>-ϡ)n>T$G68Х$ np7NW+0TK#ubDzz m?EM`)B/o HFB@E1Sh#x/l[zym@~EI;h4 Rk0Mu&D RzyNI|u=/fܛλ}} O3Hn 'U&!&9$Cѭ%gu'pHZ.l-ކgo~ K`ě4qP[wGz'a<hSu˱>:+1V؝% D\QT,ą.MBZ|Na$ 2J'u ~{.L>욆b[xmʤDM WqܣZm{l 繂JVSeYHZ^3`P룳(|\qy5{PC/ΟE?_ɭ47UC8Yc(V4~=aqn)Tb8'<<nɑt3 h2*IF6]'x{JR$GͥNH<ζW~FSlDJKK!Ԭ ϯ\{^Ԙw'oN(u42|8ـNWi|aTX*kzpio?z,h|PF_ΣBYmy-.s@K[L:5zi'XqM9N՛t>eK*ٸֺi Bg\ye hU85CQDml/P!3ȕJXXc/вTW֞K.]"*鿡SPu0Tut&y}{/L~%m{, bL{$<# dp6ՙ |(P)jyt?Z@8(s?@k˛7%zZ@k)AɧD\y\/Gg#˕\J]s\ LL7oHR h6]|Z #zZhyq㿙/OX4m@b|,̝1*[wFh{F3'۔]|jo.k1g+ָaS8#|J13BR˩j%$$jC/bQ 1 14D |@o[q,ccU ,R=D!E@v$]yb.8GU0XA9^kOaR