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.059cpu=43.912gc=2.228factor=1.627zXZִF! C]ŗXf1-q恈N/|p~p%+)W_h~Fg-+UG~%U_gl C_yIĐ,A{>Bf[kddюs` #U(LVqveC-0o \0< 7Qw2['NQµ$%k; ` [M+5HeaY+-t`].U_bP :jLxC헅|.NH\p` +YU a!A.6MR)e~n`ϊ}@%vAt!QK-6(k E.>- tq^C-KDaD6uİ!>_ȂIz2)H[J6XD20[,ڎ)AD ,qE35\vzHppy)JŃ0] 2hgYZ7zXZִF! ]ŗXi%| )覜Wn Do&~65ŋkُ:XhgfÝ? ƔR7Fzmp ڔwX:*P juy{7IyĿQG=u{w2hgGH8|+"zlFF:,r"&FqgeJyG6;n g`][N*ߝ擔 BzH>@+>zEoP gk+yo<l/t[w"J=_CШF][(s,{g,Bpq$cck7I0֤8n|.DI!g4(R n=nu zo5|w(nwx7ۿsZvRSތsf3YY{_;M6}^<<#&F] d2so21uOA[%˾89_>>]2.^{+4fݦI &8u,Mʴ 4 CзJa k27 zH#?=,bM,ǨPqOUFyM5"}ݳ[ G^{x=PjToU] {iHMwG &]Q1@}Lf%7ۃ-aNGY9ךQmL5jG;EdI?KɰY8TtE\S٪3R̅)1z_lȓD!A@b:S#t ݑ  kmVS ɢ_XUJ0b!G礀Kؾ܀ȑ#CS9c,tObEkV@ @uB*HXO5EN6 1% r؀Pi+{c`~z,nM: TgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e47ba218a63d9a5add4008d0575f5892a603d9884 4904f3daeaacfbc5142ed8b1672828ef09f3ea11 4bd3b948c117732bed55852f0cd7100320491ba2 5f4f8cb490a28aab3ad68d9c3491ec0266719baf 7fde87b6f1e7080ba55b355fd1a41ad139aa1951 7 HOL-Quotient_Examples