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 < c% HOL-Quotient_Examples:threads=6elapsed=27.197cpu=43.900gc=2.212factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxv?;vm,t=3.l%]yuV,hŞ ?X 5C$g>Ճ#*HģB#yv܋P@[T 6 =0y?z+%i:2,f{-];LYMTby@n0/Bl0B²p$.?$[?h %go+* !Oq9w}ȼ Kk[ҿ{?qB Q(J|g)V->Y8\15z#V֬j$MgthLEo  43L!IX?F(%9--KqgYZ7zXZִF! ]ŗXi%6է^U.틌Ժ-y|Hrgd |Jo-ߔ.: M2pjWdph.Ģ^NsF[Ϻd'9 ]h -;maf&[!~bWIuRm5139\j'G5qF %L.JҘOP`==Ǣ:ܰu9d;ޓ,q1Qm&MKl:W_eC, udy6JV_$O3Ju[(8䥅z{*m~!8c|wAѻs`nvyq 9PV'qӋ yYJh`Ƚ<}2Nc g7n{@9okdcaF#< v+/y3E,Jo(U!<8ƆYD 8b=hݮL=]wXNv*2,[cEe뚳jrYb'a1߬FQ,o96<]U wN?'3 lsr=/#<7m%XpU[6Sr^E7z I@FF;(9S*QV; WlH -X[@h2~ pCʎ͘Opޯh^g(ɷ/,G-vb}2ל3h7ՔsMFij`Č OLÐj +dc|J+Ba+^[|>h$=s5 ?ufi&cJtaHj=rS{s,qMxK=,iQ kO>03CӾT]USzo*cJ2<A=2xSRNp#{;"rc8U6Kqibo<'1F7EObN֑! $;]E܍ɞМ~ `{TG?sYAwYaq0f#pk-ҹ{ŜBq{\2vDgi 7)PBuڥז1+Jx#n ü WMK{iS?rALKUJ;xThƒ\됸殺dcS i7:o}*"G4#idx~'YCF0F75i6AM^ߙڱrBNAh YwqTʄL-5 H nu뱻{%о"ãΧ/f6e" `!`sk 1G,'>KyޯRS֊ʗyQJ5&F3L_cړX<ڌuDar^U]I$@!Kv, vx@\ߞxes8s85jGsVG[&/gKúpą \ #IgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d55733d1bf67a605293cf88e2c3957ce6d1373138a002 64cc12b1b21ef22d2fc73d5c7f5b09e605cb0da8 098506459d499f4510fdcd2803a58d69c36a879b 80943bd1406a312786ac4d083ae7b474e5315dec 669e0853d30e666cef6292fe0aa42e651d8bb83b 7 HOL-Quotient_Examples