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 d c% HOL-Quotient_Examples:threads=6elapsed=26.592cpu=42.900gc=2.164factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ=" `ʛbQbAk@T8w [MnL:"#F$*5sefVk,*iqPWCf_F9c 6xq.mS౦~0|iѶH̡ou/PE3: A5lwצoQaTKN0R:#4E a3)]{y^MϴY̥mjEORĀo;]G0,|g-B58gR׋uy[._t 4:f3wůgYZ7zXZִF! }@]ŗXi%YfWwzil}]BDXI|NTݛ` q't߮GW0 (:v:Ӧb)N8,39(iݯtpK4,g\+C9>\~c E m~@ۓcBT)1OV!d?q. -! ҦJ_6>;ik7hYfu&DŬo/&+qXl}sǀb17*-BЭhL dBGkBYW5AǤf8Fǧì5eR9P嵶D%bzJ}`ϡCN|Di1ۻO _XY@I";H);W=t1ċ#[W8܌fwhfA6eb4>mv(GX&M1/Q aDT0>vSdnMH2'DEU(e\2?ziEEuf*R^ ߈J fjQ?`Q{SpUTurQ~>{L0~Cĭ"wU q}4FRi|ɚ HcQpD)!?P/MFwB+4aoy %5ǎUݜof譜., xtS^uChC)oʅL3强|%Y?|FLrro gb9Lj01hG( γpR2{Vŋ%1|d #)֒~·RF)&\Qb {eFYbȁtЎih+R7|(y:3pX`žIbq&Lz%)vy>Eg*b5>3~2 `Q)iQr*Ɔf*)ҞP j OwҲǴSXVs9.3SOCP!V$yR:exl 񪦏TaӫnG:w+Qcg^MgHiD֯d9r` Ԋ.iu~wZV ԯ\i0Jd't 7V:ggB AVgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e3bf217555273efd10b50aa00addf88d4a39f6640 903f0f5a2da47a286396c2847bebfc79373e5110 292c03adee347cf88ac573fbd7d82831cfc890a6 f76ad436220af46b19829e790d03340d2687b4fa 0614a3b1e7431bcd9bd11afeb05b3b7fc37cd551 7 HOL-Quotient_Examples