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 BG T$ 5/ Possibilistic_Noninterference:threads=2elapsed=40.625cpu=65.500gc=2.588factor=1.617zXZִF! ']ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.Eu`s 3=h3BG#G:R艫9=1tZ`?d9V߫^.ү8Ap d޴>{% 3jQ*Ze1,{V2͊a x,DҹC JY  $QbHE,ĸMRpw'bJd9V}/I: Rn w "A&\U=gtz&a  G Possibilistic_Noninterferencep(6ka1적ly48%-08[^F~MЭH̝M.;f{=W4E̖#0{w{b|<;*r5t 0_ Tn!;8oWb6m6}CNr5%ęJWj \Z@f3WzՕ!(~+JV5%.;J#vxPjaf K,jE7FvJ_#o@~,ɒyw&ov~d9oNSX R=Wy~ŪƵlZ*']gW*F.΅_6x4@8Xy+bzW uk/З 5ên9aO*Y"PػEW/ֻj4$y\+* ֙tqp[q%Vl '^cCb*zDC<5)Lϫ5pϒf?FY10>6aG*QP6jPRۍ kxidn"`UC7@-<*h(C ;bC͆χ"9> *S݋ 8Ѡ"~g$ą3O&eO󿖱gYZ7zXZִF! ]ŗXi%@p;f%h1&`x$[IW{x9`L!0]A8UIMEG+ɝ%oT@\X{0C5eKw@U! 4@dO^=tu x[m\?jЫB>̉7 =ќgeŸb t>H/=P\,wz->/h2H0HoGp{›b7^w4%BEUYlf_@^H,d, KNA1H~ C͡`}}v*23z& NpYSN!W/ rZdv%d!=j _8511{L\a=z t5<}K989O](1tYn=ϤBaKvmK?'`k3E1i[E73E-Z4ͩwM~XM\+Qis A_zpJJ6~*}GA|l}lu[$/xo={ڈ2S1C0vt?0?vNG:͘!uxi*yz lý)UzUn%ִGYy-8\c y<~?duMhI\e1$(Աڢ93^fh9v^QR!') EX_%78܈=;ƸY$-hpr/UP9j'ӜXʲh:޽Ńm7Y۰g[ړ3:QjAmG߶eM5ieOR-debbL3"ܡT H!j{Xp%LH§%w\~ea|O$w|~;4DSɹY}K :lm$hݢ.M2%;M:NfQcXsO՝kM U\z0[j(eDK0Ø_2` #I>6f`IҊgQC3wpd G2F:Y/"f&68b"j߂-YUao0r|WMF -r>%a: M$=F5WEH:'TT#q,VEf) 6=j^h@.XHAb&0!瑎kـ<*]>k ;MESѦxHp헭+J-TzM>1Hs40}K5h0>WgQC'yn\^}#IctU ٿhq0OZciw፶;}h!%+MGA Rj8̲V_&'J_J}l߰~|ZW{D>5_'4yQ&2 mb6K_뽭p+&צ3/  e|#2 WQ[bfpk);ZƬ֜q >RL'[w5ip!w)D RwǨݑ8]g(9c EǰP,`Aդ3Ԩ|첌Y9jw+N@Dh-`ܐ QD3bPjΨ +}Q(^I9e/un taLj`8;x24p.+\DTO]0_{,J)Ya'6US'8;t19PSʘtLđ)ت/~+-1@#ND?nt^d$G O6pHb qAg8y3Ər@Z {|]ܒ,pV0<31Cj:z-d'E 0