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  ?G 4 ]/ Possibilistic_Noninterference:threads=4elapsed=30.328cpu=87.632gc=3.208factor=2.897zXZִF! /R]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-V ٢b% \"u%W3r="1V& HYc̸p)rs2sg ܵ0Sܓ˜J˅Z;;D\[]=Fun:8!G'fg4o*?Q۩;PR:VϤxVd;U‰܃%?S?e;6 퓈3%pU N}F[5>5qJ)÷n>"lIϬŕfkso<< |J/½NЃϚ޴NUH;#H="ZvnwRX`Mu[Mrv"a{Fx2('C GX|iIR> bL= \WsqQs?ײμ0o.ލJC~P+/+J#y#;>ꣃY5bCu$АBHLCj F wE4"JVHO< _GqnˠǴ!gɚzǢ1@}QzH  G Possibilistic_Noninterference  ^h:v絔C>,%s\L& .h|m jyzs{ Dhc H9k"7 ~xw ICpeC0qT RƸ",̋YnqJ%[ɸ S}˯ y(#bTaw91|zophfum+6Q3.2jC+F冝G^4U"ARKsb#rnsu:cVlt *kgwH(诈=6Qy }%c;^c:@zd}w̗ju˰ChE-DZth2[0Jyo$'˝*є^&8A2i 9h^pgYZ7zXZִF! ^]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+1 okYX~.ݽ*$iɤG[ !\A_qɝ /=|0rkA ,u0,j~V} xC<5SndN!Wb@j#ޑ o$i\hz@a$yu+R7Y?]OP^q<wx;,=)3#[58Mǀ㏌Ci@`yƪcn:AW0}Ne5_:Eǿ+nX^RlOq3BE&9*=m//Xe5="lC<+Nߥ j [A65+j8)7Le'[/+F?wzZ5pn =S"{XQ>QsB.tCs $tצ>խbhGG0b":=rk% ZV#{x²,._Bqz[RuJ#!+C/)-Ψĺ{j{NSrsAlm.ϋCX0F0i[)LJ;;2\u?ZCN '8wL S/g%nY"<섌B(@L D1JIDu&/ ό ^.|ֿCR~S )W2$V̬uRa庰cȓ8uU5R- ]My# ^{%E3‘;eu tLB Sr ~[/ &R{\ ʛu/n)YԮ tMn"Pæ=FaI(k^o# 2`ʎQϨ7H҈WV!͒ג:sp?CM>*{ln\,` 9MщA^稾v}1f!|٨'>T/X矊51TRY˴ք$0("Ji$ESٝ=UE,AQMK$-=y8>|ĭxsBڔMk:f՛|j~+K&_jo% wbQAUDߕ}],mSG45V)Ai2Jv&h ͲpuN%|3\? &cN6q'`MmMS hƈvvk.e\VdQ›tzM 0ZnQ>5u[ 2~.m$ Е?c5f5 DwonĘ xȾ,9,ZKV5^}HJ{ I"kԥvk;h ^z~IaK]_F#-'*ɵ_믺 6b:*H~ot/4UCwzy jԼB߼jE"-TKUŢkNǪQ]>YQoYYtTB*@潚ƾ9a qd PZ:B!;wkG`l̙`Ls9P.MW[JZ1D@Vܦe%}Ayixw] hxn|D7Ԧ0%m" SQ.!+I7h4׻djW9sKL/v}>b5ӐZ` p3>goc#[GŽ}*%P!I[M9h_ iQByMfVXr<|δ-A 4b_xUNQ/*n ULףjMNwJܕ6NxMeQ). e;ɃA"to#7#,WxTެf6 "e8YN~t.p.4 |D ̅*akC#lkmXN ?a~I#;}>ֽoG9%Vs5pwA_xUIaR`†0eby`5۷5Ca2,hmlL_KL)¦Z}E<hA1ff>=G;XKL^_78E^x)Z{ϜF٭Qp&r+,X}XT3: K;+O+j4F{'x_]$t"am[Ǫ IT\\Tv3x