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 &M D4 ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.447cpu=13.596gc=0.628factor=1.837zXZִF! j<]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\h`=2=rΒ2o?/;(5&55Z ut2J=[ ?ƮSzG~5Vd:fw 9Z ~r*,s+S|o- q%:hxIZL+!>64M A?9(>b9$aŅ5I2g1Etө6Hw,e^Daix@W?ƼLgYZ7zXZִF! ']ŗXiɟ\K XC[Ϗ 9 3cCΕ2>.**{tR'5AF毨 : x0 qq<.amI9cď1Uw)z qꏬO RU 55  7g|I$N nXPDƄEJ 48|#OX9j"g_w+AP3_Q(irK&hh14gvtNgYZ4348b3aee72842914a75db338004ffa0e62a46ec79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f da5908b6d35f2f14c7af6d356f5741d667d49513e26a1baf62a0ac4d1c1a652401e30fd0a1b4ef6a #M Noninterference_Ipurge_Unwinding