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 xxq%d$ S MSO_Examples:threads=2elapsed=83.405cpu=163.180gc=4.928factor=1.967zXZִF! \]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Ubn*W5'mՒfg؍E닱eb[ wiH [=s2~.|"ONF;mCg {=QR9J<ՔȦ;XL={^X5 IަI{Iv}2L{>ͳhsoFdT M7j*S v:^\SҠ3% |>3v#<J(6s Mr3P5jocX[#$oپH r# -"t.(d>ܚP]:t"gYZ7zXZִF! Ⴘ]ŗXi% ~߅bk2xȐpދ {t8J뛩t{.!pk+(Ii$(t#`o7^X,/2]w@2˘mO6sw+HB-\6bTolW4Ѡ dRZ;qxKu"X_>sMiugjt1Z( ;=(Z;~c(ްF[| dn׌(0N X%#dh"ujꖥk w.q(kU?ǰ?뗈7i"K/# E˺)9N!YJWe5",/p {zX´7Q7Ԙ&ygÙ9l&6!岂=wX)<'FBd4 =)8Bgޥh<1qߦkL.r(]p`P j2x"ՃtZaq֣Wӷ' 0&%g.K[}Tsv ǽOe˟_Hkn@.9 <[I䢡(NֺK>q/*_ 'F!8\"vD@6A,=}?9HeF"\T?iWR.-VeiԧUיeB }|E{څg3V~ٱ9Ue˚A-X/e,씪Aђk?lps-aT"8(55&=r='AF#u9YqMq'y x:2ڏ棾{ܠ6 գy) eJDvEn{Wu NoFu=,Xk Q}l Ia2}pb><iW3*vjʪ7pS?ɽ}$ +m7H2/j'(s˅!-%ޠf ~K9\-̑73}#twPɋ9#z/a;R/m{ Cg|ό(oB'@]/}eO[J2֦jz3=g~z 1ڢ,Q&ǃf"bXr![pqL|p 91clet*3d&VhKۧ42w^!S>5CRE'"0lGgeųk~>qtw S2+55B^$EMNf7sD-q_88R"E+PGcք?rF(9 LKèr,kJ$:D Rmby"A$2um2XՄ^TPu#Ont`&"²\U4t;1IhdL$Y9@\,.-:g`ِ֓dݏ$2Ŭl@BI`qE4yAj+lCհo}8CdAF4 /K?N?6rt\$~OH/^VAʎS|PxXkD$_4h5 2qv `LВfiFMkQkDU$ ,zu'Jvx[ P Rة HXsJ+{ԅ.yx1}=pP峃_&A \eR {&o;pw̘oZ20khISy]nb5&}:!\vd WE'9WhK& "7h@8gwz П nm! H<,,~%yǍ Ew:cSȾW08œ/֥zրVT< _}uSvO۰KӨ$:ڽ2S|z f JIQYr&AjwI%aF0k!U6y uH M Ú$l4CB Jb: /S^< r6~̭ruZ:-E'孠"8rE°"Qܮbd^TX@&8[ hd~8KH?*7i#Mw7s&Y]UfwE$:8^x\=SY /0GseB&#r8̎MDR 2"`/f@-Oa8S`13j%ghnQ?1ǥ'DL(faV.zyR %IK)L{:"Mq7 xM89`r6uq`^({_^pY%+7-L/fLP)Aq ;Kj״ު+ -ǀ5 !2ƾ5uąqfZʙz!G+!YBmcNS&0gYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a270d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91 8477c9cb3c7f7ea04222f5d8c51a622ad501e6de