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 AA<Y ,4 ]/]Noninterference_Sequential_Composition:threads=4elapsed=14.644cpu=45.904gc=2.036factor=3.137zXZִF! 8]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GK埻I~Kg|+90V ㅇB򱰄oBȨOI@"TP#V&$)%`\y@$ UDKE2l.RaM@\ ْ (VAAـ BE_`^yUnpMuhΰWA~;da@>3_q ǡw2瑖+3fwZ(n6f\ȩ 3FPSJʼnǻۑl1FcS+.1ZAIG "jShi.ίκU:2?]tŐ43BBw% (o )ZnoN,7Gl:cB0JR*XE6G%_W!OMP^j2a1O:fPnӘ :S-p*)6bāxqN wL˥C$Cu)#*eTC՞<։9Oh~Bto7.τo%J|`I!#>z|H!yqq c\ ^$!&o gYZ7zXZִF!  ]ŗXiɟģ={#1w,<=9<0)xGfY~yO,W)RəG^>R32ڬh nOj&zKTiڥn=! .%!Cx 2((chnPeHpR%8Ѵ$] )% Lb-5=DPj&%PFW?PZwPrVoMIT؆luY w.VJDUVô2gYZ7zXZִF! mQ]ŗXi%GgTr S..ȸߪѡ#\@K> 16;WdF>zj Gw+ÃаPG @i|,M8~gOjp9ǛDS{eƻ[fN]a}>,ur`J./Sdا$ WI5Pbɹg{[SH-f)}H$R'u*L7t'Ub.JpGU?϶Fk0֦)ڤ2L@ccb)\M@^y 7ޜ't"k >3,tW.FyRzRocOXOr<Si}55Sw|3`[SIڠޛQǷR/JZ2ψw/ 2 wMU*Zأ(4H&?Snd*Bz 2srh#W:ERk~akM,E~k~-k]7nO0Q 1F3_uRǮM=bb4]3rk9R#V,49bDzajYMXz_~5ֳ~&m#0Eo# [.˦yX$6@?'ޱrrZ:R@I^2`0#HKj_ -ct[uY'R^28Ha{( ʶ7h#|;C7\{Ew%ߘC)jD'N -àvfL˅7^ F/fq[8 Ti7!6`sj+Ỹ+U('_B,Ŏ-td"fG{=ŚWIKGU&hBtk81h2L%_ 'Ίl#e9] o'\%j:PlxFj!ڹ J9Z'x'ZtACIY%H ܥ^wC|Qan1i1l_ɼnKЁ\Q| 3W"!yE i+#\ !ly/'#P3,_V+IځgXm4?gYZ351e54499408e50b564047842c741fa7eeb0e2571795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6bf6ee8db070d44a50627ef634aadeef1bed619352 )Y Noninterference_Sequential_Composition