SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 tY < ] Noninterference_Concurrent_Composition:threads=4elapsed=7.263cpu=24.024gc=0.400factor=3.317zXZִF! >]ŗXf[&zV 4gUMFP2Sfkf"] kCHoQn}qLХDa &%#WxQhx6 ;!$ 9^XEʄe ?W쭖kzM:^JOEI5Z;2cF6*Oԭ\ƑbֳcY ribZR05$m52"FWm<8~6| v=R$ʎNYz*{1(94Ԃ Ħa|@IwAgeF#N# q,j{3Do;R,ESuPwlI/jxi~axsOnCڏvhH3ԡX޹ +Ű@؊E"ySHFR$5a3>X:PA('bfMhOR` 9wm~g@>4wkA--*ۭd&X Y#̊_IƮKr "9Rq~My6sa :2e99=pFR5̀tx79&QgYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,M<`h&@k#cz@_xwqg}YZ7zXZִF! B]ŗXi%Ggr; y`=ٽI SJlcpY=!Y.[cwFyW7X/<:6YA~Z{€{sl6bE5@"&# gVҟt :/0>`oWr"H.jL;WjDn(xPR՘VNq7hHʸ_Oԑ4@P~{ݞ(3?Ai֘a;wLPSY4*V4z}{˥+lwa>~>q4bX)!v = g /t/PrP@KF#!PfWnvXMb0}-cY!ԞQDy5<U5ƺ%Mi\]$(<_7x(;lc 8}+O 5᪤QmB:!4<۝U\*)f{SDtn- %zr0m+bg1h uP8o ?Sw12U|W6R=\x-}ua{k Mi kTmɎt#}Kb܏{p"%ϟyܴ5TfGEU&!Iie "';1%j@UソiFjP{7@C8Z$YEnA•KtF P Heل]H6݊TY m(:1k5Awuj= C W!U tj% Ȇ@ϔʶ !ex+`'2H?O>\A%gC1Q-Ė9l TU KAcNz]j 50 zgYZ6a057a984f53412355f799d31009210d80cea7cf1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b f6ee8db070d44a50627ef634aadeef1bed619352 )Y Noninterference_Concurrent_Composition