SQLite format 3@ . YYQ77Atableisabelle_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, "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]]ZF:threads=6elapsed=9.946cpu=34.484gc=2.092factor=3.477zXZִF! {]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(JIӅiy}D?=PbgZTu@ WdjOIq' j !<L'lִ^BQ5('S['0c3yG k$zxsw!sh")ri@u4"ޡY^'AI\Th"5 =8>Nv?ɉMC׬rPafS8ZqLM<"$k͕/C T`:A!M OP]Ղ` LgW$l˂BW0 Tb/ڙ|yH "ORXY1PܐE1䡱gYZ7zXZִF! /6]ŗXi%6/tSRQ^ U)ŏI@xxhF0:2=D5L4壧cf;Jau-FmWU(|*9W@\ڵBqƷxY%ǽ`{vBhZ N@nVDus qHqA@,G7g-Sn1-YXBĕkr6s_ ?a #LfnYDs#=&lD5jj3hOP"7?q~O.hLErGڀi q]>l|YYwQy+exk-8E>$Ň0 Aw vKÒĠt|