SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info U U Ydd ?/]Noninterference_Sequential_Composition:threads=2elapsed=20.578cpu=38.152gc=1.988factor=1.857zXZ ִF ! k] ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cm|xYXUF܄9Ȕ} F{ xg55^m%x)>cbD{0~-m @GU(?5v=:MDF< ;B~tb^l(^rz}nSuvĀfs_#ljY#yz]͛#nP_J椾%F0ʹm3Gs0-aVXaacWmY 8|]n*Z]P#;۫OBeM4"Ll,>RL3,?'?IM#.|q$mПHxTڵ92:oX}nhj=@#V[Xj"ca?? T{TҮJ~4RkX