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 t7 < ]% HOL-Quotient_Examples:threads=6elapsed=27.799cpu=44.708gc=2.232factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvԸ?;vm,tH?|c.>A!|oPWH\Dal?FE%U0|e5bhTjhg7|D#!9xɑxE]ƪ282z;!?xlJ/9Hԋ>s3{ N 'un!9Q~FGcEu.-nTI("qk6Ns@G;ɶRjކ9K:b|χ VqYKr3ۢA ~`[y{R$e3!973mo'MkGI?ԋ#(=7 uQ3^ځH7wt]2O#*ΰ L2J;qR<50I58yō4p<+pݭlKKT615b [޽3B-~3U1p2F*QG hEM&%AU6P+/l{b^so ~tnB#>Xs@@KUKcK.H SF<&(z6F3R Fhig{1Mp-I  @҅xFd)[>YNHx32㦍b^mܧ.-B{?KOnK Y #? DH.Zb Ѿ/|=iXvR(vHnSfLHMv%Q|yͮc2fu+Gsq-$2j{@??u3$^eղ*I{)3D>SkQT{M.$OɃfJz|vԇD0y H;r\'4h<4[MRy/7 &[(K?MlZ>RH#W-{̑7/ zIͽ9+m(͙MI|" ":@{F|Co*{ |+] ^p"cJIxa8c갽\F9z% [2\ >mLnL߂ Ս|%Lҏ)?1(gG0"g6vؤۯ 4@O*Bmk9+FȒHB-7[ =j#fY3~T`XT5]n+bLltT8}2\LeZ5jPz45o:BY( JqIBc ?Ca( g[ p$G9 ^ MOW7Q3O%BN_+Y%A.4^)S}XzST0; _Ӹǝ}ym.6[ " ޣgU ň:gYZec079d44b2471f52d69cc2c7fbe405f79416d2534c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d 7c86cef1aba42a80438c3548ac3f14fcf459425e fe14e7e8d14bcaa021af686aea47cbf64569ed79 7 HOL-Quotient_Examples