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 7 ,d c% HOL-Quotient_Examples:threads=6elapsed=27.533cpu=44.652gc=2.304factor=1.627zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxö/jM-02p~48նG*uĴ,uF@*  ro֋Q˃Y·b` / 6fKi{Qˈ5jJb{> Ýۏ՚-ZtUtly?}IaiNStPLʅ hY;ӨFPrm}]Oކ~ ~v@?f|]>* sTTV#;^M2f"߿& x-$|CdZyXҺEͲT#Fd^ 4H}@O_\?gC rX0fN2z+SMSn0=INGg3y@ #,{d8e%,r8#؅9W2W_}m%t]pB>V]G6l9H]J{q,E~gQ5҄`}04oA(,԰JcޅB/[ն,R<oaeڥ}U\gYo0}1,f Bs Lr(q9x<8)fK}a|ϋj}O(. ~gYZ7zXZִF! ]ŗXi%6ŀ XT ]x/؉6Fw@O6j±T6{y}wKę? ļB >gZ6v6WM VD,6\-qzanzE.lʺIR.qdX>@tV\e&=Yp:mH"?5`"Pyai,7xIpaB6 %KMV^Fs%%rRv]o44)%3['M"v b}jmWj<zv,fn:e_hCTGő"&d%`gۊIEjMnqr !P< }1~#tߔ<6|:gS]K L?68K䁙*rO ڊ  7h)kgz~%,.y9/qzROwp +Qo䐿nl; +a[.1 O,υ5ګJ gsgٗC;ef#F!24 XBҙ $٘EH5x渼jSˉØZCFrUCvOYayJI˪27p+?- vgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d55736e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4 b225b9f4c0cdb55617d75398ca0740839167e848 d0330b918c3367a4846fbd140e99e2845acc9135 a01830cd7b24f8eda7c61e5eca2196e1ea84cacb 06817d5f475dbdb969c01882e2d59bce027f10c2 7 HOL-Quotient_Examples