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 D, ]% HOL-Quotient_Examples:threads=6elapsed=28.082cpu=42.272gc=2.372factor=1.517zXZִF! p]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%mOyB %^:GT~Gڝxpsq嵤C#qkjZ >vͣat3!cϾa=H|* =SUo[Uс8VwFP˅@_U\\ɍې`_O !E?L+[Q\vcN׾1NNz !bhKˬ{r{*i;Gu5~|?~/h/=Jm{1Kmj5Z,/9FO@~P2ïԢ;SFdۘl\*_j7ָXH5 >JlB0C*2?>8`\t߉a |&BpXo%8R&K5=b~?5jY9)Y*;ҷ@Um=hD߮~%tdjnXiWhSAG 2X$;`*U|[ [^Ǻ!7%hgǶtKo$ivqjDGfr>kx^r &$UDBIzMޤ&B'ى!|^%V9OvK nDxa 9;q l &LOaYvm#jJ41nwuF"ZX?sfQWo!#{@iZ2 \ uό>_lųZ-xO-#i7dj ߧUh:|ҵ wu'[_ \ /;2u&<$UUQ ؑ%({8 Mv! zT;ꚽPG9/u%?DolD lġ<ϰOr-[Xl0CO-M{E<lcNx(PWjX?]T}3l1xoJhDE; C=LR[=Q5Ra/c{XhbGVl/BkRq*ksd?|sdFDi.Zio A`W{jy8\L \fː~zki>aWho:2Oѹt1"x JDӰv%k~Sd+lx)d\cb~]5q8{_I&UרhoIt)?S o|T238!zCo޵3\Emώ/]>OOvqM(W qhԅ_nj}ޖJDӿUTXJzjh φS|tL:0z}w ӷѱgYZ4325a26945ddb4bb5a230119ee7133b6e61484c9434d2185c8796b1b91c101ab4deb405df77e768f e64afe6e32cef310ef78d64a8a9e9787a782d794 194ba7a53cbc2884b0c4d571a1e1d1b797ba0203 bac9a3d5f325d13cc86040623ea8b649d9fe6022 4e95517bcb4c917548394bca203af1555b573ea6 7 HOL-Quotient_Examples