SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ~ ~wG t4 ]/ Possibilistic_Noninterference:threads=4elapsed=31.103cpu=83.684gc=2.156factor=2.697zXZִF! 0wr]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-W*,74:-؟Cba[Ql Ӱ%pYhQүraY{ `Be r.?]zaL;=dB|y?7Z$GV,J&=uc-CX (Ux1\y|^I'1\>|x'x.ѐv?H RÚ1P! /KCԪS mp{k P-HGڿ^n$P$ހp Ev/.cnW{G{ ?@铪Au) Jn {((B;7 dx- 䥡a5츱%8 cXH2@+9_YxNcR:^'هbC -uL\EeVk]SS5`陛[:l{/B[4DةRU,nOjށl:CaKj fiiC2XX>V~{B.Av剈6ImaK~ aFBHI\+  Lk7ݺ4 P^ɷVuQK&N,N7 `l6gYZ7zXZִF! ]]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+^x AFDCΆKAbIInɻ5? ØC^oMozioD}Q6bUƌ=q7J J=:@ [<@ՏI9 EM= N8鄲{{ a{o[c@;`׾w /GfY{pC.RU@|6(Zy7eoeBJ#ZrP]tj'ly2͈؛'{>!7 .A-ֶ_w@DR2{K-4*0ך rTY]WjLÍ؃`+_l dyu,KI\{5.d[d.u>#T1@ ~lB_ꁊ<,p+/bl$rkIZ 9f&3p.GFpfG1H:FHgjV݋y*b3vr9>ϬyNa6H^<_{OvsG [([ڼ!?̇X?)2t8h(e>L qAJ,FɎyj|ID6t7!JPB_ڜ;07|Ib٭ʈlc'i0qkgLI\#ȶNIX5LBN4;>V+X9b,+4U f :0RR#n/1*VHkWiqĴq$ fX N1}ChFϳR3?Z;DQ;dpȘh9КF(u-.Sw r2>}qvD`p?gs$Pn0sm<:ÕtqDR$@%tJt o΃ٶlN~r9c,06Tr뀭F* OWpƷ Gd(#g i-2vVmfm9rQFxJ+7<| F\h۞QO%(5g-$"N>˜ˮbarDIbLM)ZIDNL rg9Θ>C \љm#H?HFח\ɢ B~dq[A= )<"H (0$ߩΗQݓg>7qrLyե%v0fQAܒH# 1''֖˥Ӥa2X, Mvf{nV ⳡY.U^f۲]P}鶴ZXTYcu'ˍv$cʌ*VMT1O-sIA YHzj`L7_yh Y3~;68M$tUv3]JLgO.]dlYe\AMU]S!JƃTM^F#-Bj %0LN!zڕ+,yZI@[ ^) )Dq ]Y&oTkgiPhMi,xDť G%؜a-| Zܛ2HjӐ:+YʍzIn )(֙ TpJ6ުm*%9_~|Mh,< uZ&w^Ň9"ud/UУ:L6MS5]YKܮTj`8<M_wppy MȪTzRG؉Um``qYc38 wX# _ +~E槾XT7%3g`R9++B@ '~9 򌀃Z}-;l{/G]RɲҬd0ysj"qbЈ<Ki'-sr5ܙM~2}T7KD C"o>-'oIL:)Ly4A!t_\{>[㼁>ַ)m/d E`q\x&< ۯot۽,}yơewwHbw&沘 3fHRIXkl M>p&5Y37nPsīZ~,i缈wS/BU9U\\R9O- nIN=DўՈxua-[bZH܅ 7Oc|c,"tִ 6r7'U*Ktc%@m=oyI]q^nIeyҗ4C]d)&r~BQ/XT渆-66)RB"sRtduc>ox1'gmuүM]N =PV)JuH^B? 1bDש i?6XEuђlAPIR~1Jy^""j~6y@2Dq+wM9iOSgYZfccc5eb8c837e335f13f426bfaf11694d720c78a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568