SQLite format 3@ . BBh77otableisabelle_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 ?G T$\ ]/ Possibilistic_Noninterference:threads=2elapsed=41.096cpu=66.828gc=2.476factor=1.637zXZִF! $b]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(JV91@,$a*k,0U#`bVOɹ v1w G`yYCAX `\* E;/YN퍠e=qNR@/>|i&FvDle%92Qn"Gjf{)&8LzA)D̴"d<NJL`%ӄXܢMtl-  G Possibilistic_NoninterferencePRfIx171tLA:0p#jrO_A!%k!taQԋ(/S\ea)93s`X9]\ #%t"+R/(D@ %Uq+ʼn^K$3Xw] @wnJL.fK)3@*+g0ٓkAti(Vz%&Fܚ6]ҸbMvzbGI1֗\ Ae|L93OV xXؑm_nӪ|1?mc ]+B/Ӡ_w׹ݛ_VN^-ݖWCaGG]^6X+d`$"saҬ}uں K~Rzc' .*ig*RL]xf+4Y}@]݇$Kg2xa>}-\@:Ib)gYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+1 okYX~.ݽ*ثV(s@eZ1q1agް;D߶)  >d iBŒwåRf󏕇#84\rxN\T'l .lw@>GIHM_!L" S/x_,yyDOM{M igYZ7zXZִF! 6 (]ŗXi%ύw4'urPِ&qN > 2ؗz<!AjbMhDW #'槄x|U>R\W.\Yd>.+3>4QΛs3pL"Y{\%C2"|r3Jqyul98VVȧ+ [/|5p/)UwcC@f69p{[7#$GhFJ"ܺp(͐g[N %MkjO&6Z@1 Q:d5g/)5ٓ-_|~@Pee齇uw?Fv9?V\FyWInyqPr9$:ϱ~Z{՘Hqbfڮ]PP  HH2MTKԿ;:hRΙͬ9H?KVx>+r87_Vqy`C]/ KZ[;}߲*ee૴[ID>r|XuϰS7ykGש0`Y֦dl0B#S-%tP7ir6Qy`tODie!B0~1hXir7^_F5!X_-"h~\uI$wDp?^LZ3AGt~@Lwz]<_s Rݷ"&H%Z ݦ{ף8u} t |jdl;j:ghhDàa2~oE yZ(k_QXg1gkG5 -rdzV9|6?m=d3 H-e~˽ƨ .TedډJj},Z#1sn<0at{ @V61#P5)}԰!GOA\-ܓ%8cv*U}cxZXUZ_r`#N,$.\Gr10#ՒT7xN F's͈4,;=^j䕫.*wI';o0L:]oun=߀[a溜4&#Q ~}*qSɴ' ,An;Ue'rtyodEm0WӜqad09xV5>] jbtT*`sj{]<2AH\mwB@tJZ4c@peps 7mD'c-0 &5=1;`-g=8,FSyE`B-cV_yvxޯ>4:g(J ⯕hsfϸΎ]^ oL| j_bmOG{IFY5H1\ˁ ^.B/_&?Ԝ&2K<&0c hK(55vwܳ`0H1%+W쭷&D>Awd!) 6 Q?W{ebhb-x ^S4랐*iyӽvW