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 PY l ]/]Noninterference_Sequential_Composition:threads=2elapsed=20.378cpu=35.424gc=1.744factor=1.747zXZִF! >]ŗXf1-/6vR[y(&j-:64Hr5^jo $xDtb phc?ScB@p|G56H6% ,luaЇ9k#w`ymEZ%*)8}:^瀷U3j"L2$/Jg)ը,^Eˈr$Byx&uޫӁK]*gC5-'!O)g lf2 [7py.B:yĦRȣ4>WceQ~)}i5;_)W02(+\=TTEF]3x IĢ d|c[ IkA{}my!1ogYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfXx[\82:u%pcN(}6Ԕb aCJJuԔߞkO~EX51nk,]r nzO_kw XRɉDrǯa}\bb6+reU\{i>wpɉ8\}7wʑ5uߋDB 7hAlSdd"е›5Ƭ/G*gYZ7zXZִF! s[/]ŗXi%Wm1%J :KrsFkIȇ?!;m(8AwӴ P+Qs!AGb&龰RJxc|xoʊe=]գ ]J 3s,7ftb.L"xcΟѰ Ng_d gt4vxW b6/B9u],~5-TU·HFH g>`}]snZ5Kơ|%15MEu5{i Y.leq3sn:ɨc> F]d:or[42 5HWiġ_ѷFG@N+۹Me TzW;2D-mMӺcmKfo@)aߤ4"4G>b^y6wמa*iD Rr-gDzCO+L#Y@C,E h/||HY:,"bao\,8lEhE r͑W~1GG'Z4g&e|~rdHQy~GB=b m,qm6<ŕOdF3x#HWVN߂{z^^ʞki> @]i IdM$4A4ݹQ[C"2Hz>߇! q1,Y-[Ux)ޖ{_U$VlIulCIDybjS lw {cQ`2v5/J չnHrG_b }VBFAX]IpXyK__ jI_fM@=_)"\$5${kClDWl*;rǰAz?_P\OpJlf_ ,l5ּbdhf/flm9̘ܗMp 6-30 hs] xEY5LaNG".$7UE~m L|gYZ7949e9482ac30b8776a91e76a17cfcedd49b6674d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e2a810de087d4d3226ca1c83d08d6f28a7f151f0b )Y Noninterference_Sequential_Composition