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 Z7 t, ]% HOL-Quotient_Examples:threads=6elapsed=26.973cpu=41.456gc=2.432factor=1.547zXZִF! #r]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%į P~ ^r1K-j,YP~J8`N,9N=g PP;^0\(4cQhCI(Mp :1-nn&0lX:l5Wk̂~gǂ:K>'>8Q2un)[7^{xT`}(Q99dr(Nȅ> 0Kh6oAg.OH2jeF !YAKwޏ/:xOThQ VdJ339ɇ.v;(nXLwoF٦+T|R#VUL@! Sg0 5}eeMò,QܱgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XTŭWfGwz%r'P$(ץj{M&]է)wj!9*$G5Pd 5iO~B g8GlxW .;s+Q)bL~% "xgYZ7zXZִF! ]ŗXi%6\ SwWˋ9B}련[] ~$DTc;hɲX=I a4&6Tv. bQ'|@0x:sQgikt9\kQ%,?wIx8d;eEѦQeTş-kS~Y`D!l0E뿹Ccb% )S馧%&֯Y  *qv (TUMp .Ib<5Y g\T%vpSU,U)5tlʗpHh7GHd0łs weH=r?~Fv8_A>˓ flI ip\3%[x^ЭTyӜ6Q5>CJ\1ޚC\R*T7'0fkX瀯7W-#0ฅ:e'P b ;ch y#=O۷9`)xل F$[R-X՜ÎV}Hw7TY|:*ۦj~ןh`"':[뒧]K˟kI綅}Og1PM&dm5.gС ŕfFk\oO$>" 81(V.Xr^ A/ k[cV+;YiIR @X\j"IK<3?׊fˆb@c2E@>MQX߽K+j"g?Qbp&!"gB~SV.j< +0&7am8pgC}@fcӕ[[ Xρcu|K?ҥTf֛ Nu)G;wvНU)CV·&FRϖI@`7<*#feyW2g\_\_5avލy~ϐKPYBsklTLG|Q;GK@Ǣ7I DүI_v{Z-.ZK6z["pz{ne8te?1_`-ܢ)H0a%Ùa")cVdI5zRv^T"` qᏲӄwrVǰۣ[A .L?k =&:>2ֺ)Z tɑ}#]8ŽC &=z;IU "ACn~[! 9gYZ3178873cc63abaf7991d13e805bebde224645f81eb06bb30852b87bf08fc9bc974d190b6e06c78ba 540a2732a3304e44cc5d86f9c84329d38f7892cf d749aea517fbc06a61631cf5289aa51b1581c100 72085341fb257992e53e20f35ca9b7298d6dedd1 5b9a49c28498b56b1bdf8b1d20cf62f17e199152 7 HOL-Quotient_Examples