SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 H3 $d w/]Noninterference_CSP:threads=2elapsed=6.067cpu=11.476gc=0.476factor=1.897zXZִF! DO]ŗXf1-/6vR[y(&j-:6%ئUrCJ,"J`i|/q@4+xۤ"Pŭ@Sg   8!>Bli/]e&[ည[Urt´+[H5i'hH)m*rr a4\;5t*˔) 2ñAxE|t-I+[帳V̛G>NǾ[l[g;?zxUYFeO6Ʊ2[jL5[o'R"!,!PTUprܛKDd1#ݽCο3wp/ Uo&W鎺oC=J ŁFR3lNf Ј}XgYZ7zXZִF! *(,]ŗXi% Ŭ Y[cGWPuGt^ ܟ6:0Lg ۈ2`1B.7GĞ4T1d}.e Ɏδսujs@}m*,LJg9DߋҸEZU5Ehw 8O հ魝s޼h@$^@n9/1&S xϥ{')K'ѥND|V:&$Pwֶ~Ȍsbÿbg#1!\Wg䃞h+Bc<@p|AצeB\n%Ǒ3AI1 #gVq/WcjFʄj%\k۬JZOL|n3:P5$#('DPOC"(!ۑoQtr50è[5E[VS1 ח^aI~F=-]v*]\ӘMbJaMUqDž\un[ڧb_FQhnrreo|rA%9YKM1A9';6Wh.z!R:O$4D#jq]tY Q['%VŭWUscK i9(>Xuz ?=c_=H6[=ˠUL{!c{HK/t}[&KE3Iٰ ;]Gé"՚yFHxqSWTGmxgYZ22b267fb3848d40981a80663bc2c5f6954171d49 424acbaf6d8944477d5200138e02d33b5e077f36 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924a9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed472f3f3299f592570269d947ea511149e76ff2bee 3 Noninterference_CSP