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  d3 4 w/]Noninterference_CSP:threads=2elapsed=6.429cpu=11.516gc=0.496factor=1.797zXZִF! ]ŗXf1-/6vR[y(&j-:6/IR xbye]VHG`9;uՕX d\lӇ/A!@"Q#KzPɰ|.۟q$֥8,4JVf)k`p5b-| 3i6_Kt-ڢaB1:A:NurQ%DH.ү (!?͍SCpD^k=y/qf]hѭKt2W5*EMO#9}A=8Wɒ/X0Zgɔ(TڰQ\֣9?dŨ™Ψ•h1r V 7dt6gAAM]F|Ƃ(ccev^׵A"+i=`tj91gori"M*jk`5[8ʯ7:{\!ʹgPfI’ ]zB\CݖY2 Cp[F0.רzо˸ $%pCmhV܂-ʘ3rBn <-d=f[&N˧nR|/o=pal `my