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  Q Q,3 D $ ]/]Noninterference_CSP:threads=2elapsed=6.430cpu=12.044gc=0.636factor=1.877zXZִF! ]ŗXf1-/6vR[y(&j-:6FLBU%cDV4DõPlO/$loOvt)V Xn큓:el};R?haZg/$U;,"7=ZQmA˳}gt6r VHƖ0n,lanwVT9RnZ pwWPENf\SR8S1ի.F0\ZI ^IgYZ7zXZִF! ~]ŗXiɟģ={#1w,<=9<0)xGfX25|)bqu@wKLgq:Lc{lݟҟE|Vr |UJ/26NkR$#T.Yp -蹞{j u` +2J/g~*~ ~^@tz|ƅ┭ bsWI0[Mz97ZusfJWl~Ki|{!] rjlV㿖ķ1I ʽ阙an0"ՏUc[vTpK%mR@o@#,]~l Duҭ6[$`-X_a`tsc]AUW#:q>~#n XSo0kljA!!" L D JmWõ`n)[6:ڪqlVR /!;n@H"¿EnD*B#&)`2KyBPYLƕe&oN !̎F7H~MϬu5^=_2'9ݶr)1v͛h7,C8pf/N6-FŐg^T+:ɒˉ.?,U fXբ&3CyH4`#+^3Co kz2[_YPyJ/u /n`Dk#sZLɔDsA1}U*Z>! VqgɱgYZffada7504c704f1dd0578f858339d199f46e1e5c273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625f6f47c3b12e83519cde03ca8f9b5282af75913f7 3 Noninterference_CSP