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 td c% HOL-Quotient_Examples:threads=6elapsed=32.773cpu=51.100gc=2.664factor=1.567zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32Oc[͓.VΛvĻF8-rpRpL2rX{U[`*xR\McPfˆwV~V;RQkh:%`M`D>GR7[I?7,5}4gp da4!٫sĀbݒ{Ma!7w;wD&Վ 5 j{˗<A{TnȥW) [u_X%ar/ *z~GRWk8 H%7alH_ȄRѱ\j΅]64nwh\ZÛn ݆I|d"&e _tJ i+jYnl뾼MM( MqB&`/ꅸBI,5VOeɅ( xKN8AUFc2=혴:2 _&T#31%r;ːzkbQAbfa=Zq2RA{Ąɞzu[蟀A7שlt@,1IETk/1%vقd؂V9.1e;roک:~Sa  J5ErcA_igPWYҧ/p LmDv[ҏ^p#aV߲icB,ˆ<`o|6~!Zb" !TS*W!M .lǪ|jX54Gh{Ѽ;40O@֧W^T?\ Zɹʴk}P9b.jG+_ ˒{*Yf$%k#rOmw4ƟOj.0yHsIGlUy UDvSL V^̹bS)#*.m?:S%5xYna K= B6<3D{BY!Z& 57ݠݡi "QxXL$DOMt}(u6:>1[Jʱ{N[e"}nb[hF+|9"q *vrh/^CKt)hh[.^M `B<:ENx@(d.X:}4\yKm/ .%c-1{_5;&/cp I6θ!ŭXF$~tMT݌J]J\*muq'@ 9nLclRj}šٙAМG_U]T9GT%lD7{ /hG|,1uH}jG˖37q=U뷶b4s{Jne ?²J)twUy%4WaTm+=ǘm씄1/D cPs852rd {(Cy 뢢"xj%=I`ا8p Yy5_(iWwifhMB,o9qC[ <<62N DgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573b929b071054eb456b649c3f4354ed9c263c1f058 00d645e463fe00899e6b9c0c95c2fa28a383e8a6 7de3f3d6d44d6180fabb42e264a851c635984faa 6de72a6e77a651fcbd9680885a919350490714c4 d52f2d868cfc33c5dcfaa14c62e6cb06d41f4b8e 7 HOL-Quotient_Examples