SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 00A L w/ Trie:threads=2elapsed=26.235cpu=31.940gc=1.536factor=1.227zXZִF! * ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,|6Թ1 W3ukڄX:oc}0%,*|$/S! CfmaϰA(ӃT{ZD"= K4 BOɋ"+:꜐4>}C4?mmR4"oyw>G+]%Uɷ=#Lfw'P N>ѿUV5 8LS bh/GB CSoaBb~> $Sgc۽Lw}+$zP_O/}6ZȦW[y8qiw*^'}fHUĀv1O'AƋtAp^! Ū th}rw^{^k}|[ ^ͽD SvJH*BZvʘ'A =f 5ʖ&dC@0NBPCQ%kìvGzqKeWg~?`jx$Z-}-($p빘M!W/Y}tʠ狃uR3j+Y0!}Dk}:W]o'V-‹h=qOdE;fv,-\q5li~atCr,?=XuԃF۠^*!#&\)Hy'A.Ux im\N!xV5]ݨ3{KFr@Mpbmw򇡇Xg< Dz`5uP'1_YeTҽDZ@'vxg-< 22c+E  Trie)ϾΏ9cr1g 5pjc&dơGUT3@=PAT\zV2T?}+ݩk0rE< ٪Gy]˸"2E~%It/l PaŽ-`mԙ'm(w.3“Dlfh_<9={#TkgYZ7zXZִF! m]ŗXi% 0<%@UDk¨I뀒Ԫwhx*EM}`_hԏ,EӢ|12%Ps>@zoY ?m@E>Xp"aMc+`>|~=^N,haM\H)A0ʾGL85#%/AUCok[4'wY$Q 달brV.ӱgKdhRA>pKac`ݷ0Z#ZO>y7)S eA⛪uZ8 `u*_!>9_qpz:OG%Tʼno1pU 쀿vOPu }y5 ɹI%iJ*zn"5}{u(Hs'W 1V!:)?^3&[)}U$ a[IjC~/ "d>Bۖۤ\:Aj]H6dɀx І}48 c] hKKzu!^ |l[l5(ð$٢" uRᓳZyCqV4i* u?8%i%`0^'`~ē$"jH!z;iPeYU^ &AQNl)-YȍT!4ījoo:cWG陊J }N 8#ܬ5#Ջ8C؝D k1սrصؚ D=WpLO'r x:m,(r@pE4g;3#_K|77,d1VVPN> Q'hL-W.ǿ= πEkp/sR1ǢKn)H`3S*t9/ TBe@0u}giWF`fBKJ@F!J|z/Mξ@}vs0hOZ-ZۅG `5sJ ŭJkO\bX;K +}zOWj'ouOeSH߄Ӌ%Gt4_t@Pyin*^ Ϣt:e'~)itp7響~!UG}$SዧSe}X7{:7Fd¾tc4o/WB7ӹ3 "gYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 91b126e87746f66886c486433be358083341b385 ad3e0430353cf9dd719486ae796d190d5e13f04d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a03b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd