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 11L7 << c% HOL-Quotient_Examples:threads=6elapsed=32.397cpu=50.092gc=2.580factor=1.557zXZִF! ]ŗXf1-q恈N/|p~p%+)Z`򔿪Vt`c2(W;MO'0JC#DH6(PWԞ2p~ Bi6 9^͜Yu\Mʺa(htBDy2`Y<3_GVb{m'B;&t 7½48WZA#A]Q˩K~)HIS|Fp-h5Kwfm9~)ڄoF, `IWQT'l>*)2liU<*B`rp>=CXX׏3*Ku\ņ[g:qT}Д%ѫrN⒡"|g1 d7ɿlĮ}W&=VN1XD g(%NiiqPU4̗ů"e5ZA)"%Mn^vSH2 >zI,|5jdzLqTޣH3未m8d4/l[-騾19j2+ 3&dgYZ7zXZִF! |V]ŗXi%Vd8`p@RZ r|aZT!<^1U= YK6튋{(15w+zh^JMoҝs$蓜hUJp6Jи`F(j%~i;Zռ P&@yP:N.ѥq[%eIU]W?D/5>ܤO3rʷ)RgSIjpO$7؅.irV?],!h>-9v/H.'q@\!gR@7>˝B9荶v4.bZυ 3ҍmFymd PJ]Z+OHi?/ \/#_F5H薍7O)NaLӐDPQaRN|$!VRݑp!w\V._±yx*-"ՙCrWG65Pc͏?3x\7mp/CV\Ǚ+V"awTJ`/n>^3X5+LR#3DD]}ܺVUߣHW)b1r`X¦hSL+5155QC12wz1@UW6bvH%ARq0"2rO֚ fh,FvrC<}Zn8W%_Lh'ln>[pz{ðLKmpuF oiKg4:pfIQ] ޕ8v*Wf_h(Rb XO#X|<f=I̿Fua~S̖QP1p2As>fgP/,q!G5 0;S܉/V}X}[`|_(o#WEzRj$pe>1WH?2NGx5KĊC[ HޱgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e0f836b5b5a9e9cd87daab9760902dd3888525ff9 18f6c7e02b1f4dbafd026ed1fe525c53e86eb4d6 8fca42a1e7135fbdb3a111cdadb67b10198e5bde 983c82ff04bda8546c6847d1b106f697a47b278c b495baff1d4cd042c4415435669924dfded04f96 7 HOL-Quotient_Examples