SQLite format 3@ . BBh77otableisabelle_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 99D' d\l ] Ribbon_Proofs:threads=2elapsed=17.263cpu=27.976gc=1.932factor=1.627zXZִF! 5]ŗXf1-/6vR[O?< nkh{BR<)0^6\2iӈYKRޡ\X-hO&3 ZH!NUZ6JRѰ8o_rG~G>x9ݬD1Rb}k$ߊuMģL`s;%6:lpI=7^-ϰ3SDУG [Q@C'X<ѲN is2.E-ywI& +N U= DPzDNtVN v86ć߀DUrg+Wqx3u+?JT1:鱇b%8!O)}mWfI6jӓ| Iג&VGxqphBw\gϾw ZsHZ.#e8y ]$UgYZ7zXZִF! ]ŗXiɟpxCI8-d.Ǹ_gS$3a1jij,{(,ҌAx2 |Πm[ԾNWxH¥2c.ddUNYVf+ 鶗ۖ`4]k0.-CƝ /Rojx罏5i4*HdC5'l/e`/7wD42Ogف*+d,gYZ7zXZִF! Yv-]ŗXi%9(O[9\oJn0ȅr<ы*r4<ܘ Y'87F|6vE~scX~D$?U: Q3{ эav\*ח}V7Amn02 }Vi(}Jpc 5mqJE$E"rI[jY.C`-=Y_4{S8g[ )wYpa{d b]Kz; Z`ϴTob)ۗ}. ;N)BjzKZxJLޡl۫Eq@&@F`}uJe@:)}h q; r[|ܠ-^aULG`:R WbfzGd^yzBQ==@)!ΆH-Yi7phBHdOOgFfU `:9[nB:{l߮cG`;[UB GVm"۴Ҍ:4BJg+NJ%6x$~3ZR /O Ʈ YgO-Hߨ2f|dI/LTO0 vzJ|^E`.cVm$-8oubc=4>}㓽,S2`wubSVe*S :dH= g}ەdT yLwʪlc.su;.s(9475 ܨGQ)c&?QHjЏ`)?e>=VM ՞B5GmD 3G0>EB0NL6{JGELhqԲUPݺ3qesrlM?1&gLV