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 ,l c% HOL-Quotient_Examples:threads=6elapsed=33.135cpu=51.176gc=2.632factor=1.547zXZִF! U]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="vKxK,]k>Ġ4K8xi68- 3: +(=ppj+ےrBaz^1w:)}Sf466g:R2 /LOF[ j]yPs9HIȃrv,Fp:V3MU &N@Ԓ'%ϵ!(MRt|h}2㞧Wy (yjZVF݊I}2f~4Tj<o2XF= W+ziRsu?< /ӹ/MEK2rD9>>ָXIאKKoȉ\`px z`kWʕr<LJQ $~9b1Eb1/͜=ڗ $+?-,5-6(FD$ n߲F]23`K =zGE|\zlO <}qܲ;6zG4j8G`.mҾ!OwĀ@J\ ~c3+FM] 6{ Ni&ͽםNi XXV~.pg3Գg+,2WgSgYZ7zXZִF! ]ŗXi%6iKͩm?sDro06UY".ڵD^g.zOޏWkX6d.8Sl5Fӈ ,]ދ/*2jrdܜ||ix}]T5&m TMIsA9DjH(I$OD.\%!ppv@ bfZ`}%NjMNaYF"tn&"N@9Eaiܻ5ŽZ5dڵӯLb\6mf圽K0rӏP5i0/JXX2̑wzD[7=H.M`[+nʧ[﮶^8.DX86Um&fʋܑ(T֭rw]^m?_Pü?\PxޅN]-^&͖da+@9Fpv@YQϯ񮧡@`Oq㰵5#:5SW`22h"B/#Cy" ].nWA^hL~o4/[+A%O"nPj:frSW %K*_還l,ҡS =h$#!vE˭ύFM 0NNGyJ|=f:7!=L1+B@c*{TIVu LɗojZ7X(*C~9\[<Ӟi ތ6х'St/Y+aK N.xA)WVx^10"ޮc: ge1Qg~+, o 1YtrzHڕ+0 &JQs%X#"f䪥$ʪU%ڔS!sd dȤg! hPCwrb?1xP" )g7ݷλ5Tp,PtK^ (pc1(xn;m_L}w_pk2(RRDәe")NPUZ;7P0sN߬&lE٣9N)Z9 çCObcAvG95YvyOGG" Xk*ZĎ2'VUSU r[:V[[z L o~ȳ_ FHWߌYlYalziOGa̸77r]!x,8,q+Rd~zS,0ԁO2ՋH;A[lnEs-p=h D!tIWՙe{GbL>"$^b0 `Wj]6&VV0|Ჴ#W^k*`pꤛP۟0RǤ *%1 1sYdf+1?{@D Θ Xn7$8 jygYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01ef9b2384963b529db5533373678518b74b2a4a4dd 61aaa45f03210855e23848da5576b9678f5896c1 c8e64d0128298bf203935d10454da5c3654b5088 c0d1a73c9cfc1a851f8decfaf4daac9bc2adf63b 8c9ad82256e7b1cc704e993eaacb1c8666c1b49d 7 HOL-Quotient_Examples