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  I I43 D 4 ]/]Noninterference_CSP:threads=2elapsed=6.276cpu=11.500gc=0.560factor=1.837zXZִF! z]ŗXf1-/6vR[y(&j-:6n!6cH!vGeXBQ7%j\=煛(k dj{zֹH-vxjs))boC5@%g m﫱gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfXϖǜ7%D]\'7M>H50TVj2AX>&<ZF@G̺J=)aE}5Oq>3ogYZ7zXZִF! 11R]ŗXi%;Ů8c`YxZ\vM hH` VWAfzG?3`6*)ݑɼG/yP≉ VwHCF`3RnG=Euf]NdRaH~N4R7Ωbl'|6MbTVB֊r8FStCfrrfZѴN>/΁_<{6RSf`+2/:XM_XNx#S? : t-DRG%XUڠ ȴDg 7.+ _fx$$л/jP{OeۿW9HKА}Dʁd3i""*+_I*>gn`(bfhg"-fFy}uvQ"9U`VzWD8