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 , w/]Noninterference_CSP:threads=2elapsed=6.533cpu=11.720gc=0.524factor=1.797zXZִF! ]ŗXf1-/6vR[y(&j-:6x?`8rGL+Sx/m@-紾iVd]zq:iմ)<7uH]#iiTR?㋵th,N 6֨bޗ7HP?~@dJjq x:]Uy:u_I}[S6-_Ä)Cz=^9M;r,?,,Mu,?b;'J&IQ/GD+Q [#o8NtU0㵯%>ҭ9HOy~GV\UEˋ„u u{`m翾1W?7Xq|22.jPK;X֐$]JC^"BO~̳ sEDj>S%Z9uD}ԋ:G3 z?{a-pʧ?VqSs, o*J0A$k@~6Bm+f_W~^T7]9{!oUG]^?Q&r pXF ޶س*hpbg,z_Gmӧ.M{*n6 6T6Vs^PZMOx??A>*l,%ؚfTg;gYZ22b267fb3848d40981a80663bc2c5f6954171d49 424acbaf6d8944477d5200138e02d33b5e077f36 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924ae4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb5279ab9a509f29e072ee950fda6c5f087d5f3462 3 Noninterference_CSP