SQLite format 3@ .;  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  . .GG \,\ ]/ Possibilistic_Noninterference:threads=4elapsed=31.281cpu=87.220gc=3.052factor=2.797zXZִF! 1g]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-L\T Hq\{# Oܘ!b!1_uTг` -Ĩwtq $]VcTJ_m[wDVNMSiUja -|ІpoTkD T`4]oõb@n vfP*#y+l,Xb)sc,L?6 C?)KW|b1I-kҙ f0J夏׋ƲBhIx8q}ӣ&dğc.$BiE+uuXS]?u%I K8 cų&C=.fyQ'Go#0$W+_J$,WYg2] OsVLbҐlՌQyx=} E{9v)'' ѹ9< -5NK+n͢piWsTR׬L_1]l=Z/g c)-]4D"8dtGOa]EU b .,$e5-"N[ϧ˭ӆ-U̗SyrF/$$})u~٨“9%Dj lLvQU}^mYTѱ :OrG󻌜`:'Kȗ$&Ὤ-BJ<d-|6\s@篞,YβX 'OV Aq (KKQo8Ft囖SI'7fdOQㅿ";]rM/KTޮSK_irܝ e D.W)@ ً*KjCE Ubq0 ޡkʔ >cԆ=&:$Eפ[Y x:ivcdK{w{^MVX9j[yyzwn^l_Y`G"^B#%g) 0r&Uj)ؙj#pu͂ Ba/ǠLjgDŽ _3V Vz8(Cg2s%ؽIS:@깑D񾸢wIXB.5$aF0v~-Ls8օ#^TA/{9—ݡz GKyСT-y;XL,97:AZHpD}c=]ͪL/H=|KIXJE1)p r7{H]qؖ<eǠRyW1e/zŒoEBYq3$GD59cƤmw iUOˁlO FETu+K1ny~ 2sk>Q~a>a-b݀XOoݾdX84%Iታln۩6k.ߑhJѩ붘,zl*Z|z;:{)W2z ~5@0zq&W5/xSrb6 up0ִ-ے @-')h{*d`Ƈ֯D*_ @MY&i"q"):0SQfU ,D9ֱ{]|i)V.P/ǿ/X5N4g=@ =/(my)IϔnN:ǢΆ6=Ah?~J0@}m]$MƯMܔĘ^= BN^-_E|p{|doS$ \°IzUJ*>^(ȷibD{i dJKDK41 B@IYE8eɝ'ʠC ѵmÖbǨ-H 95S d| Oi7wE`u1X QQc8݈7Zj44\6zFXM&>JkʝЇ+(T klT Y'BzԎ4dzܶ(w>$<$Q '`/.R wY=9b8X~N1D[L2{dCBԝ ,Z>`–h h=) ?ԙF P W`+mSi-pS#?U6XD& ]31XdٲA},l+ 8/mq{F_;+ZgĐH CX_o$LF<k&QTmj GEg!62 iﯖ_,s{yowvi~eLQ]+ L|z?8ɿ@ʆih,~S5b~yfxh