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 t7 l\ c% HOL-Quotient_Examples:threads=6elapsed=31.304cpu=49.316gc=2.532factor=1.587zXZִF! ]ŗXf1-q恈N/|p~p%+)^N픚;k8{;jw HϿbg$Zj}:t +~)j탫(W4g ,nf [ !c­/7cx." sŠ? ̾l EUju@#5O_DZ Q`+'%5jQ`C۰уj]T"i/@!-曕 0S[[%8{O%^-}*,>,qK{cg6 ~EBy*7-tjzJ>N#-n8w5/sˁ 1}9L%9_졋%#"Uͪj%5 @0}6q90[dDcb?o]t1rD.ԍgɍ ᷵#AdSA3˲{pqqe1S±gYZ7zXZִF! &]ŗXi%6*9!sݢt+|hRo6W?d$o9r JHq`&:DҀ ѢCx-.x(Z)Q~,TF7fP{M.^%^,$~8 * BZ;kx]HҲ]i9Nva 6^;ӍC֟eӝ ]4֚+t=wS4Gw b *Ʒ=tRF__1Y_B 4Dn7ә_ϗ8݂(w.hѝ^G6ȁY -OZ+Vs|8õ4<тc#>C7υ6˴Z}2&V/}4;gզF:격.,R mtpױM 薴U xy A?K!f@15 ;IxsY9We4/ ƺ _ {F3D3 \<ūC9Q:H-ow7*"A2`4Y3dIs͸z#iK߸pfqH_k1ѵ~޴tAWҙ׎h[%X#EҜ6\czHCtTr1p${ŀajMYZvzmg%& ѡBn$m ̤1q¸2 _23XxLsHxYHmՊ$þSm8-V$MTX0[J#o#'=~z@c(型ur3&l#7M|qS2O48mSƘ`dHqqm3| .5t`HsE_? N"j`m gl"맊xɌ=oS#RM)M,WP ԹkZ 蔃` S0Af%>jlS4ߞT "3dOV n(`&Q>homFu"4oH@X !ϱgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573af88367ca9b3fb3a97f9aaff95cfe0de63826391 d09c4617cec10cb00bc8d7cd1f6f6fb4efd56ec5 e1a5782127a6d8dcf34ecf1e7d08e32eddd0d8a1 aab1615135a12f1b8229056d69d08e864cbed7fd 7e9cb8cf53774bbce0429a7eef379a3003a9a9b9 7 HOL-Quotient_Examples