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  U U Y dd ?/]Noninterference_Sequential_Composition:threads=2elapsed=20.578cpu=38.152gc=1.988factor=1.857zXZִF! k]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cm|xYXUF܄9Ȕ}F{ xg55^m%x)>cbD{0~- m @GU(?5v=:MDF< ;B~tb^l(^rz}nSuvĀfs_#ljY#yz]͛#nP_J椾%F 0ʹm3Gs0-aVXaacWmY8|]n*Z] P#;۫OBeM4"Ll,>RL3,?'?”IM#.|q$mПHxTڵ92:oX}nhj=@#V[Xj"ca??T{TҮJ~4RkX 9vYasqNg#DZo">2r|ٓvJf8#T6t/`ImkDbQ!T.G8w]䴯eҳwY d,̋!4t ,/pϓ刓s~dN] cJ"qic j枠AXL S?$R=|+EN݈STvN637ACBxb=#GsJZgґLapl;mv/ ᑬh,/ I5W5J\uLM/^\-Cc̃",.PC =ׇQu2@t1)3F]?Or`*Łq=3O9%~K bGܙӌcǕbL>Ry!½ܮ/%Mlkş) mP8ؿ[`LCQ{7I-[,8ɕR· CKv=o@ṲQ{6=C 5!15>X#Gc<-"'`m}<6#yis"H{!o3hm᮵յ1 ^ c?yK.n[[H@RSo< F u¨~z\.*lQBO30`uv,C~/R55 1q8ZC Ї*_mN{u}& %˺lTe9]7}ge5"cl~?07ɥr'?8:sk]vDMKق$㰍hxi*I+~dʧ9ۤQk3;mtޔ9إ`s:/C!f!,) ]|%(0g~N`O)f8=CpCnM2nB3[<]ȳ'K9y^1-);1¼Vj hGPb )Y Noninterference_Sequential_Compositioni Á9T#)؊u_Wpq"ӹ>!40X+/=!b7a;C.ll5[J1更S58$FIE8y<` Skp5;[_ Ĵv0L:TMC~O`f-H87RP)uٖUBѣ!0Νcsw0=غ:4dp†`kLO* i 4^97![lXKMW-Sπ)OV}Wf( UN|f ]9iF4\Ccd] cnl!)^qq)!;45j"_WY:}Zyޘu3}mlSW="^MÀ~mEL?|$lq t0 Rxvx|W@$y4ߚ>n^\am}z-AZSꖻ]Rf0&}AZ V- ߂X@FpyQjH&躐wu%8YN":\Sۄ^X8VCbK +C-np'9-(s(Qwa )gW&|!/r%OR )  B3wS^!,;mkv#h揄3i˰ۨ8Q޶޶`iKf/lꙸzQlX<'orHs@ r*cZ2:Q=7'u[n4RBI܉!h!ny֊v4#[$#Ffyg%~;.{5&Z7 IsQ_EwGl m]\S_aA$$LjپEmW~&Yϧ3(1m/f҃X4|O1R1+5!eYpnȺͅ*^T+ ,a!Pzk@Tx0jȳ-p's>m-tJUk6ڎZ_ShPb!m1dE{GC:w T/Wy_{-ۋY7[N.qVF& )w%r4ЁH %\4nz]ueqOiLr+t1!Ow ܔ*w@M;{g(ceM(oyUHJM^]yr+G:;03ٝ`LcvS3FP譸}1"/K0eqRu6#u-F\ȵpbZm{d֒|+;>P\=y㶷b' |6pnBQ:ut0'/ [/mۄ9k`Fi x4 {Q-+GI@s6fEi%Z1(Kdv3 <Rk.~–1Iozr056xY K/EpauJ&2E}i,~#'ʂ iKPm ""o|@#pjRyjDfˣaAbOs h.(O .3g5D!EB&@l ND;L -bs/&!T"tqu 9vj=boQj\_G{^ }*Ƹj_6vL})x$5>o6o9;zZbzl]юTO)-2+m }Mo3&f4h=,wJ^QK)Ϳ%]IݝSS|G>.債9cI<(tUh<&E-"~.x4\>yAӤ"U=X$,yM晷AL\^`xU8 ]]v;U4 ;2*q1L] xD{,pG#}d}Ji&#n( jZnR ƤP#.M J6 M