SQLite format 3@ . YYQ77Atableisabelle_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, "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 UU(1 Lt ]S]Nat-Interval-Logic:threads=2elapsed=49.341cpu=65.492gc=1.348factor=1.337zXZִF! 2]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_ߠ*Sl: ?; <2̐E̤5Um!rp^WEֆ~QI2< b >zfr30 r+˖ƺ 2!x/FX7/J=[#hS;? _k\qiALŋA'޿<Aqdz;En9DG>p"dß[>~|+MA#qِSyT<ӎ[oaaxჴXiq57x }^kEn)$ bرX$ *bnjIMBAv]32ò= ɖ7.v]}QSS-pP̆'(̤n?Xo4*7#A۲qR otmNp *_NFb.S`6=Ig$Cdf*zT ^2 >ĸߘNcY8h _.Bo 3Ɩ%gGݘ׈t?(bd)R8c$$ . ?7J[9KՒE=:sP:G6)7qcGlvG.}Ѿ:]oȡOH 9%N\$eebdLz@y AFd~WI-ɜyV$˻8fhS~A=׎5~ekșg)ec :-LR/4HeӖ+j>JDodgniB,C' RP4':ty?0k/C߇ Q rd>=ИX-ҧ#:`{%-e8gYZ7zXZִF! 3]ŗXi%60hiucټQ#f4POq8řGdPn2c2oC"z!bM8vp pء</ )!mްpo^–SJcd [4`ւpY* 9\JUq?qVX=}>/  a-'FxnC\.=s 4sd%r6#?YP+n&J=x&r Gcchz^&Ap`@Ԅ%_eBy5"8#[쨩[ / r.g@ 5')8vNkZUy X0p-S։2%kA-6zc_iN_hLkrsKLefkȉ>&=ѣ^^Y[89jNBLEB-) Nٺ XbJU ]KeFÍKsRNۗZب =d[hdž]Q>}L?„bqx5pV%I@qQ ln`rOG0Ǩ^!DLL_SPt=M5ݗ1F]q Eel:7X gF.jGk@~~\Xe]٪8@9KhնoڒN3lF/Z?M<*.*qT,EtFvw\#ngt9RvBmqM4aI|vɍXnU-%KR8 _ {FD9J ;?-{qǭT !ѰJNΡ@܋&A1Nniy{Ջ_rleA`KgFِ]R[ϓ^l`ήl|{]2}"q9j;ITGע;P M$SL5}WN: #P4HN*\i1"q.SU<}ueOt+:X܉h-aYİ+-=n6MJ0avr6e0')F#z{dt`wں|TYsS bnJTf`_F ^0Ah'8 y'wMk&s>bǑnSxݑ\6o)@Y<ҷd4j^ FEY[%%;B/ cbyz jS &S7Z^(E?8jCQ&g[:3,I.qH0CmWn_-Nf1U%C} ]9üt6AW]IMǹ~$DZQ`\!ġߑ𸪫U wZNt)*`%e~Fq革Ib@Nb֍mUWcZa~OKX ^Ui 5{ڕj),~IJ#+n2 7q1J>UܙR!bHsB߅q7I)qik_,mX=ϤiUmJp fxN+w5yyD/hp p_X|,EުE)!K] k'ɶJiPrD0 rk1Q8 Q{j,p&j$0|O!zJCǐygYZ43ef270cbc762a47833292d9b9d2dbdb09b134eae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 403e742c7d659c5fa734ba90ee2b5d2d079cca9411f36a5988341f6e7300a4165fda063c3f2048d4 1 Nat-Interval-Logic