SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info UG l4 5/ Possibilistic_Noninterference:threads=2elapsed=32.706cpu=63.436gc=2.504factor=1.947zXZִF! R]]ŗXf1-/6vR[2Y*R!,PeS 7X8b҄O%j<͆&̨7{?]ORhX$G2FyPʼg!c)dmpAj[՟qeMqc,>, MM1{ Н7S.^@ QSDbBFR"3 -mz>_]i59hh/ (q0[GM 83p/PNSY08mZT"PJr1BK\N )ݭA2%? 5sfl aj/[T Ԉ&OIU1SQ,v_0mhmdܪh#a(hTt>Uʋ^ مgώ̦֗ M:p؄dn~? K(<(6p(z~mWSx7]6FZizqޤ[wܽ -8HJ-|֯Rls03RMzl ~Ri/QX{+Ëc:}0#r=aihqy-%Lȡn<6kc}p#eH[#=T^Gc H+и,lKdЯ YCwZleuV).Y p*GSї Mf{}zsxaZ}9Uܾ7F&cLz142 z٩/Ù-^C!ۣD|el⛓:|SI߸{g*[U??'zCS=Kƿ7!yZyJ*xd*8& gS1PJIu X>WeT!8s6-_ 6U3=/^wH?zU&囚v"-O5S̝%2E͕f][ 3&stV}?KV.@\*I)b⾘8M6 o7 0~@uHw >n15"@& h r@^,2-Vr|XAModϋ@u㊞E6ʱQBhfTC$޷_YuWq~\j a҃r "Lc_^X oA(Cib(اL#qXJӏA ̧o Z$Y!ճoD؁.թe ;%$D9ߤusءRiLs6,@Mm,7'jW.J@5H@|+մw=`~|0(X2ߧ(^uѡ PH4ʪP9X9iInODwwe\'j6 8Q+gj"͎ٔwv0H.$Y]]|ia28N ^"4 D8}M1V7Q.3Юw^Q3!$']?WΉ} ODṠzW=aN1;5m,f\b;ƅ 6<_r.A|r3 Y ̇_`bw2_]N2;rb*:eA# S3&IJdQrX7 "ә ){)945XvyʋJ3‚4}Ųg%?#%_pV,Xo^/ns͐xNN! {О'o6Ԉ[{?-XkC=ykm_p)ׂ] a0yP~ve<~袾+z~'0z}]2Mk $-bYz>M>D;X4'>>fQ6ա CndM١ jij\/i>8YftTI&ޤ1%.gYZ7zXZִF! $ ]ŗXi% -ڏVi5y!]1j39cɶ .j$l.Gqf~K7sL*>*ww!<h׽̋s;l[ONH+U}n;Ijޠ߼P䡑F[#PN@,΅/UkƸ6Ej[1[j2aO~jn)6@; >tzf :>C'=rGAxNHlfM] \q-q)wۨ<>b>)v-m+3<WM|CFח-pՍaDfWnu4 dJ QN (ncRjW֍r)hݮy"E@gX6{,0i\ҽ%!1u`h79JFr2-`j8Ú.'(!aZt:ĉP>0hmUx=5]lɥPaAGC] 0Cl<F~ex43W6P/<# [+[89q^DZئ&}evFr_jmti3]X(f,ƺ)ռE_4g2[h@d@߹ЕԬIi_y~B?eN9L0sCm65L3_ۭٗNƒ{^|Gh л8Pr`αкáL''MޛXئ`Ydjdģpu(z%L%!a2ܞy彏Ps}/XDH )g[c*0g.'RsՓ8H8 fiHG0 ![q}*Dfu^iȼzp#_8}/b4ԫ,WLQ3250.!Bi1xz3,i?A<T2sRVXz$x탻kNE<DL_|((_K=N"3Uٔ1RjB"0*NnZ cer.4,UyJ=p4I=ZE DM&K똅\YEW69ӷ@/ixVEfcĵ|~\vni"5}b+)"[ea%:whC{Ctxҋa)^z;>jX%U7'Dw ߬R]ڷ|j2w4}[Rsb2)\ZBD9w%KFd}5uG5sғxgiȭ7"y}Wz%~M0!9_kɊ[9U-Ѧ&