SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i | S IOA-ABP:threads=2elapsed=6.566cpu=12.220gc=0.212factor=1.867zXZִF! (Uz]ŗXf1-qN50^%Fk_cSjZ5:]&I) (#it&A*aZlo`&uv‹Ubמk&to8I8"dk 돲8&`xNyEz,pլzI. c͓ G^30+}V01)Hzu;jӔfEg17L$GQ~"@$Bs(8}p{56"çˇ:)D0=$)'GZPdI>xQn9?L-"+X.?Ž\3+\+wt H * mI㝠&l   IOA-ABPLFPf5_Isʓ&ԻHb<PVq23u_=fW唊(} ?ϸ *cHyKPi:Ou.#d+ H$)Xe,ӳ|,fCm|j 9E%;P9?[[#&ݶ޴/\2G,0iҔHxّX#u{=UEx0 o,,d떲\E x"-"nW@N\@='"i;DZb;V{hl^?F̩њ378K1>3״xFR?a!B a!8HC(흓F%%/g8á1 ݷŋ6~8L)