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  ]% HOL-Quotient_Examples:threads=6elapsed=26.563cpu=40.356gc=2.448factor=1.527zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32OGk秀t ǭ(S 5<):?|-3opIg NMy7l:AWk-.b 6a?|tK7ږs?F ?q8j /#P׌? 1U ڊ\,7Q ;hgRC YV*pA=gē8Yq=@&L"~,PgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XTŭWfGlzb2ߎzA 4Q1̾8K%afH| kv'-3}V1zs-B5$~Q_/(m2 [()iuQOU5Jg ax 虡ߎZj oG䜦׌bV~p XxCv&sa0#y+qN\|Y3Efm2:(ݻ/do%0joIf,:@P4kS!#So64L1+|D_tP7f?BԸn7i:$Qp34 4` FұgYZed4d242d75b0f691ba0553a5be680af3f14156a73ea58d54a136a485954265ca6aee1aca00e66e9c a213deeff6e0f4dff740f020010b2ce9d72c57bc 6839bd0529b83478bc7c4972c8ece3cbfb85ca72 10239dbb115d1faa0ecb1e23bd46028f2590ad1e 991acb51d9b21117dcd5a6f09c0aedc4525defd0 7 HOL-Quotient_Examples