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  X3  < ]/]Noninterference_CSP:threads=2elapsed=6.546cpu=11.808gc=0.612factor=1.807zXZִF! ]ŗXf1-/6vR[y(&j-:6FLBU%cDV4Dt#uk[l/ 1 Lقy;@I=(:g g[Up#qg<ӇM8[#nak.)kVVSy73߈#6MՋaZ)S q4 h˱gYZ7zXZִF! }]ŗXiɟģ={#1w,<=9<0)xGfX25ލ<6)ىb23TǶ4)0Ԛi\W U`Nu j)k /#Bz"gYZ7zXZִF! 1A]ŗXi%92Aӣ^ANs"DϽCl-lVV5 U-n z^ y. &@W[`@pi8\O臔s |+w j6dc-=õyB 8H|&{WJjn 9ؒQT%;]]M7zwsAXAmT4Qvk,9cec_P_mzR" ђoVu+}ro\wkA-@FituA9xK.5e Q0o;FS#ݹz,ھtjYF BW3b@@($;؏=gj7Tg_M2ֳ8&|L47T +_cŶXH3Po\Aϵ6;)77]A=^.y)> Te䓀{Kю͉fjs쁪*_bTxN!a0 ki?tĹyϰtM5f^qVTHN5n?)bgYZ3ce2c7075fbeb96a84bc818c86f26b61720a6a25bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77f39c68bcb92071a4ae10f419102743e531ff3e73 3 Noninterference_CSP