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  {5Q)nkɉ qLJ7rR%vaԈ*Gzk&gYZ7zXZִF! #]ŗXi%6q?*<V z^(. J&G5Z)KLwV |BxYWnzmv[\ц?-`K X}+z>8j %l1Di&irs4I*4Ɖ'e(Þxl*a뮻7F.PBig7@NXΜ >lgŁVВ2ߔcr20=D1-I\]vѿR3k-Rlӹ!# =U}e,-\Y%.+F/#>NyFsO4pw;U =}R|1:@ \ Of(jyeI0=tx{g-a-|XiQT2n^q ="aF W;ڡǜy՘'`2<@V(z?>n<9(l 3qWGsiktKw}FKQȲI~Memx-緣•dvm{*-hAPldꞞ4Np ]?3f7RFhrԻ%lܳ4kW9]:diE-}([P+qYp!ΠNz@c%?f3cw7r!!j[%*ʖIתw7-Ԯ09*`/FZձgYZ056850a797c0ddfdc81dc9ac21a8b5feddcf125e1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 5 Priority_Queue_Braun