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  ' <|, ] ConcurrentIMP:threads=2elapsed=21.750cpu=37.036gc=2.040factor=1.707zXZִF! V]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*p@_CW24 10 kU GبҶ}X%@l2xjYGQt7KyTO\^L vM42zdb0K*}wT Ej <*:+ RC(=`_; W m=?;?HZC ΒGea~ Z ~-md;8aal,[(^nQSqв4RcŖo^PSN=ڻ&&M eUIf'䎒V<@Z9X= ̚`$ 3} 9 <<\Q /J\y=_ mOJpqWbL͘3Z/H:>.vGkuBf9PǨ@ V*4(* {;!ǐyy.Oɵ+Ğ us}}q/>74*<7.$ߖs~ `URNJR, p#O'vgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w^ҺY#3qsۉrf8AF[eW&-UAƏtA&ҠБJA-cf͜V6a+%LtU-tl } Ӆ:)_w+XhaY2TO>(`GLc$zhμ gYZ7zXZִF! wP]ŗXi%;i=#daRE ̖ -P'ǜꑆ֊g>r_ݐŐ`EK]("ߒĈ6ՉNS?g.J=>(U9xC\z" 3e[m ROA pIMԜkq_vOP!MG,i {;4# Pݾ!"mϫRVNwh6, f1*mZru<Ws+<{@}pn[grM_ CFai^nZ3i!WcO*Q q ;skȠf}`{3\^W#S#=$]B2eUZUU,ŴS'e;0Ve;NI{ҚU)ΣWz?Y Gh=lR-o)a9ݦB1dZk jG@U?kT1CY8 #derPeWmqpFmçܺFE[m)sy{00Z0 h8NiuM[̻k k*d`yH3 N]oVh-5a=z΍I2B2ΣdH!Fu7' ޡz,ϫE1Q^*re?=xc *7IK]gN[lnxIDAQ0n/mσVڟ2n/J߾ՕɈ9#-OT T:srWg!GY432khx(ߴuPD9ͱOp[~Ӥqer)ҵ\)pabPԨ҄;?;2)`Eͧ{,H _lO%ege]?SDK}D9E/E|CX!%o"bT5n9![e}CMt|IWRM' Mٺ_ 6_ƍ.3c~RW[H奊x;K<2;'056;o.8Ki:)\и0[e 1cK6^ iڑkF@A(l}nV*L{f|R@8 h%ZׅncQAbHt&h2Up!k7ldMBض5 U{%GT),znR,Z< <6z ]V8ޛ@5#m}[.AHj2vޤNL%v=\e3j@RS|IA ]Όi\:3TGcvX^i^9-o^h^q a@I*iȮKHq&Hg𗋢B[Z4)$;Ի b9D, L>S1]pEi0_ 4/hr=;>֖sm6hY5]I̔qލQ֌)!A ,PNPC1uG_ќx  GgYZaea8a4f59cfd008b21766276e3d66bf27779e052273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 ' ConcurrentIMP