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   c! |< ]/ Prog_Prove:threads=2elapsed=5.795cpu=11.072gc=0.764factor=1.917zXZִF! s]ŗXf1-hg3㶮7J?$OEzBGϸ:i.ӡy `񞶰zQW(>xFJsI[@ߺޅ-(2ǥ&zbkI̔q1 X4mjZk~MM)qܖ`Fw ӾwypH(ۥ x=5aMmF>7..u#ɱgYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȴ 2Oj0ȓf1 ÖX@҆$]$iwO?wr߶;Bn-6yTZփ[X?~f:arB AdlǍ#x;O7('UG4? 1x\ B^JgYZ7zXZִF! ]ŗXi%96@ƒF]^+ Z.4/79<ޟw(w xv"23F CQ/庥rھ+=pLPP@eus)HQ!ܩˣjo$ux8s+xTngFlt&w:{y5w53j+m,l=UtY{E%w]eיܑ_)P/yѵ ɣ諴2_ͬSbr$aوzuOm͢4TɈR~=~=qibRƖUxCs%Gj=iZ2jq =j^X #vINMv(06 8^rY4 ^xh=+($=nd &\F6PCjOc@Y*ə+[ :mn$'{ Z+^9t+ #-vVC>(jZS?29HuD/@byeTL}e^k : ^³V^FЭcG0o.=;Pe:ub#1H̳P=5,#cuJЭ% X-u:Ӣ8毈gYZa8cf2eac246bcce6e19d7d5bf4fb1136bfa945a33fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de  ! Prog_Prove