SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Ud #/ Network_Security_Policy_Verification:threads=2elapsed=436.955cpu=837.972gc=52.608factor=1.927zXZ ִF ! N] ŗXf1-q恈͐7ӺV#`91knTyڧ%kh^F+k7O.. n=]V'(}ݹ86JCg?&e)bYNA]'[q*GJǼ`PV)MlMo@\7k-UPsk1PQS=4i/Ѽ斐%O<%npX[i[yb ^@S,Po Dب&} wuО˯u"<$b 9֩ !F?& @a_mAs-b&J^1j `q2R)${Ћ/ _C,(@2 'U Network_Security_Policy_Verification 5lRܐgxfM_Aj!s` cA!,ҽ K$)X7K\uwe/(V܊ܲ'z=8B,fRd!118eyd}QEaC>ɼx.[6DGw+:;i I=6Y/6)p쭦O2cîmP/л(v,ф;/{~}'IMxRjGI tDY٘EHA!jŻXTJL@;eNЫ.opYl68rHjTAZ WQ A-$ӹLk @V㬵D.UteHPK}[ .zI'Ӝ|5C=j
QHrMy`RA@ͭ&a8]#%WsmH=mn1=OK,u><
?L!܈y[,j4 U@ɏ^>IE`U}XF}ռۏJnd_#*TJNJ&oi2Q (=xAt6d1$5U~ $J=탩UHEÃDft5M˰xE#vWSYX1V$q}r58%d;hyzt7|rypo:^c@n]jLߓV
B%cyAjB#38-b-8۰njZsUzKF
u=lх\tW=ϋ?bʖءc!*3=.82_&`~7GOf=LrߟGw
ZAۮ{n2xa䉝tSY[ģDTU
l#{[bXj)
a6 f `䗘ѰN{;$pMP^kڙcAO.Mh!0IlUԺX;Ľ[;^:`<ĜKvG~am~v.d5gBtG07\ڼNBRGQIg͠ NiY.:jbM2dx9r~2!(ˀf 3s¼&wgfl#H)R L$
:o<&Q\bYi6x%%}44g! \ζ!/՛^G s6l ֣M>c56>\') G.8o$Kr!ށ`]D)V0i).^`)dИr)~PaFOnBüTcqg@`+Uu!k=Ѵ [H44˦zFtt 8r`.1=
PXcޤ;Bp {^'J$paSg/
|s݅ɍ>ua`otns{GmN0*=PdOxk i2K]qB/u?&m]`Z}^<$[o;q,2
nbח:hꔂBg1_'j)Ñ;C=hr4چ_Xtt0STj.Kܸ/:Ѣ4E'/jƦB'}:L =XNQ/xxQ1XPI'\+ L5ȭr
O?T(
}`D^!k6mh5\7ٚGt8ZW5c
vZ|٣'@PJG̸nUj0bŧL\^P{BANY>?dRx/k 2~=vM -ŵjgr--ukK
Уb`gMZ}|lqN>3_lJ)}D8"(ʂZzNQH,J݊jASFՔ n+sa=NFz`v$Oa?nZk?ˑ<'ް(Ds(Ĉk+=5 =3.eQ\]}b뇲&a7/XC6Z*03k3D]Q4v2F5<u
ǰXP@O{윱ƣH"eDdS[&'̇ers:nǬwI00\Eg#ф!lHН_q
$Q2(S%a^
%(k,Uvl0f0t& @i:(˕ǂBІ=*FBq]mOWij6"C.\a50%6MbgKAaflE;_$BAT;/T
W}acZd}Gہex@/od_
3(Eu0:&4]W(;gĂa*9!N !
ǯ=ivz8Y|߰PP Q,J$`iNٮXaȳZe\O~cD~we>bfp\R[r[[
Gj4mB3$rZ&!Ѯʛm<M+9HE 1m -_Ă7?trhgx.:0QҊS5xTrIO=E0igaqKxYE0-c]L˚gC8hE C*},Qn? fWKL
NtS'zrvG4uO7wDSL
4y \>WeTzʔȯ[y%dkI5rXfz-")_pU5!(o\gy#a#kʕ)@{#铩D]#DqPco?р}nQlzZW#6'_T\#8;Id2ҡ`A{exU7By=e7_ d*%jʓ43>wLz yGJ7(`N_RX?پrp"as_A2O\WYcR3@l2+
-E vǮ+Ӝ]דxܯdgW-"2MtTonZ #{ڝ__+<>#㦢KK˹eJ%ZYX@~YJ2"P={(kciz%Aoa2~[=Slƣ(*wJՀwHsŊgt(I5a8ֶiN C|%:4h=w⯋9