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 KK27 \|| ]% HOL-Quotient_Examples:threads=2elapsed=28.630cpu=36.612gc=3.012factor=1.287zXZִF! h]ŗXf1-q恈N/|p~p%++"yqL^ ?rBӔyv~_6MG6%QR9)m`@-QřRHK 8 PeTV+0jMZǪEt – yiRZ}oߟ4Ζ<34uaN#ÍMk#GBO6t~g6BpgW>"K%-*@jo.BY X,S##8yHͻ4%67u{g_InA|"v:ERj-׶Cma1989ε󋢽d>!)wξ/n¾wI&P? FDxf\y_YCU90^3υT,ZQRO@lIFɡ,JKYC%0BL7S6'z@V&ze՘GQ[̲!47b-@q3-mƎϮ*i'Xȴ1 &Sӂ_M~ 꺖+QFȅa#hsh{Ѿ%8]2D RnZ+^N $ːrZk(gYA:kbǪ }Z(uflR@_8bCSoIwNMwO (l/bń}j(}^B[(~ (CctJ83ke3c!,:Zr_jD;sAQa{T,c=u"|am=4ҌVG>R:W Si :)|Mȝ^jTs BQE̪Ftg;h c2ϭ pqYQ ݝ Dv'Ħ+"MA|eB|klr>*1n? AB +)wԚgiȬ*ay7LO]*,ok6dT:5n 0ܱgYZd3a39c3e0b40d02c1976f2c35257641dd30f67b27a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b f1d7b1fec553606fb8ffa66b10520f8de1b86fd5 ae5dcfa5a428bb8d1e479add4631665e88f9a598 7 HOL-Quotient_Examples