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 ,4 c% HOL-Quotient_Examples:threads=6elapsed=27.023cpu=43.488gc=2.152factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaA̢wH? 4ќ\hPK>NG2ZMH+ ޫg/@(ZYOUUep]ܶ+[ڞv͟L]ggk#Vegv% aY " $]otWpC~{CV)3YfhD,pXvPkw?@; u۞; t`d桛Az|Zg2t2G`%A{n ;@SGx֚$sRqc_ntX*k]h%M/mÏL҉wce{^4'p ܲvɕYdَU>>QSjچT; G|ѻpr΅a/h@>,’yp[GԌsK{]b,w3MSkǾj#&~"o[xa!npq([+J-7MC|Ӧ nj[A;!P#LY.I9!\ /, ?<0&1;BN*g18q`I@V4!4:_YS.v$@WC KRIv>odX4P+q]uYg򧮟u2f.Jӫ&^M@':v*5Q|~ u$(ϐߦ^&bJJT(:3} .M:r`{(Q;I;~Q(*}av>cJ+Uy1` f맢/贐shAY|&E4x9HE\6ԈH| T6Qi *ooJ3@O#(< D}to S/<."wR5`̊;ǠV٤n#X>=.mvNYDHOtq z,AM}/؝g eeޟ+r`^X)jT`83b C)1 ӏ71#]4);|UΟ?(c7'@pN5l|!ljJ$^w[Wc%V.ENTE2zKNe NNk#X#>7(i`VRK %W{yC}7rY : lzͤCi?e~CjLc*#x_ \{t n_0\8:k;8qyZˡw LgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e4dbf67159a593b2086dfa23682656ac9bdef67e9 e685f0313d3d431de5462d46b1d0468390c590ac 6d63624117467d94cdbebd9346cbbae0f211d11c 17dbba6a4ad374d96e5ac8d0ac043c9db079b6d8 c46481936f072204602201df44a401232ae5eeed 7 HOL-Quotient_Examples