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  ] ] 3 Dt w/]Noninterference_CSP:threads=2elapsed=6.547cpu=11.560gc=0.492factor=1.777zXZִF! i]ŗXf1-/6vR[y(&j-:62&W,]porGgۜ[:]qjrPڛ[FMdՆi7pY SBTbϽ.s{ glze-t|SQVqx,Bz1%UQFI+OMReڡY=VXi/Ue`{E=A34}c*}k {A]]aoFz<1/L+X{GS}Xc|F*!WnCge2;Gr]BǂYp} dI?Z g]ļ8n-QQ{Ent *GSWBc1cZ `G5ˤ6Dl9 ~1<^Z9EQ͕knLA5%N6d򬊡gZ}l5qN73-g21r'a_`^ Zσbad!]%qM_؆r)['*Lky0˳s ǨĮo]gB>H5sA7|ڤK\,7svb_7/u!g+Hl4~^G_I4BA}`N I?d&|S|oJ$[R=n{ԱEi2szEN-k1slm$z:yk} 5]7Q