SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ,|| ]% HOL-Quotient_Examples:threads=6elapsed=25.629cpu=39.640gc=2.468factor=1.557zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvQ:uZsb,`kN2~SQis)+ gW "æooFب<NӋTB6}ҡvtχ(ܶ_W8=E31z?7!7- W68.QgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X٠ŭWfGҁɮi Y]x [JuJNU [sYpG"zm|L\moIa,&@Ee@~yOBHD2MU d7[Mx!F2P6C̑SԳ3@B×!"73N&5=Q_m:I#sSdzgYZ7zXZִF! xu]ŗXi%ύ _fwՓmvg--ڎ_JҵBK;"93-n_ei3WG̋z ZNQmoR9,GI <G,qBqW ;55̲ ['sV3*+Jʠ.0*169FV)88wd"*$m?߀u™( C[&#ݠ [sTMݭ۽/i 3dZKC)bxb5ur彧T䵍ACU5Lh˰Lh?]He̿,_uL̓3<,\ުI-\RR~LJ5YFWwcɄ'P;Gv=hstM>f3XC^~/^vNaCpxϚeasq0i i(3[ \m2s_o88bhn냻4@>0)_:#y@}4>bz.vrcH-w<$0AZ?_6V iz,#8p?iX/y[0S_|̇=e< @rz?A*zXhqҥ|C*h $Yb}Ќs<ƌJmSì525H*s:x9@қNn ٟP7)KnS3lCRL,\Br&Q%/l>x3/%Pc& !^wsУ$ֿ  ˞ gYZ660cffcbc6f89783bc95a931a412d68f861a1dfe13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b e7e13db9495f7d2da4f10d4228403992147202c3 fa713061f8e30d532f39264f1cfe8d70c2a9b13f 5f6ae1f4c96f2149455ed7334c9e542c2be02bd6 7 HOL-Quotient_Examples