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 l,L ]/ Possibilistic_Noninterference:threads=4elapsed=29.350cpu=83.348gc=2.944factor=2.847zXZִF! 0p]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-UhRحEU6[R%ixK &.Dz d0j,>E2UȄ(ܸhĕ\@蜈9ƥ>0Ett_t2=ޜ Y:u,s6X&~ށPzQƏʠ% $>bP.#,.F,7?\lqZK@[grcvKMD;5jNHmfIady-g'^=m 2nEBǥmu'-JVai;{㊆ :/BQПmW̌##|f_643g}J ]  G Possibilistic_Noninterference  d /hUIJMxDM$7(":"bQf`1L`E\80S+?3 B.'f_t:5p殏Qy=ɬG̣U^LT,AWB1(:9,= ‹RC22I'eP @GizV/^jsmˌj?riM.jmr/U%1SJ nb/p3!9e^q> VeYJ}z2|Lecvf[_U!tCY rrUE `?vIR agYZ7zXZִF! ^]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+]/6k3IB@H|'-ڤX2۱[N8NoA_X_ r/L*ysP-bt1C\ pK(FI&3>X,@p OSؾ 9zL?]ܞ_Qd [asM~1@[Uh`}oquq$]Ms L_H`{gYZ7zXZִF! ]ŗXi%L Iԙ,Dz&y-tYX[F\p!W(6Bf^DȰbnllg,CPd5hH27d;%Iw<-qmܻHj&8ti$-u/y4]^"ہ^C5ڰtVB#fӦ}õWMp!$ع2rsHFf1N5) z\\s @WvF k[mSՍ! $>20*[ߪC]O;J>/ l5'JPC,'m÷ܐN׍i B[ U;*cW^)`[1""pAYՁ ci&&GĎ;=22/c&Z N!kcX۩ ja[rHn,Vk~"/ rկ\t %\&@6U׽Euj_ mv ! $8g:w\eTʚA#zʘT0d6YEP-t\, (.B(7rwV2l5؈uNLKo6!ب[1ؚI?ݎVܸH#½AHObu嵎B}qJ87 9 |i%߹S\^} #bJSkl&SCӁX|+4(ơ5rscT{\P \123*gLJ'lk85n KL_^253elv3\Љ< ,Tebqҍr8P$ CDOHEi!ʧ^0D)$=8wwze%ŒTE<5h<78Myv g=kr2 hnꀅ8t\ejG;6_j5T`导[8K3)i ieU+m.x۟60Ah"b)e*%F!9tQ@½/[!v߄N&p.6gi֠ͪjpW…pf!5vS':'IV@t{Q$CEE2s#L?]^{vs-SCk}Bcܣ4Vߕ-ܴCdT=`lYΖأY9KLaݙ6Eq_{vY9͐j͟* t9Sk @JE^$^؆Z!bͫOԐXj#!< 7ۧnp4;XvGM-;n}^25 dBb_{w5:syȚq{(U لZW(6oѫ讽3: ^Z8eL|j Gڙ:Ã^S꺽:289b@0\(s6!D XT})$6Z0; 3xEq Wޏ{_?Z n)J}՜ӎ{ZJ >HFܩ9ĊN.慑IOpoh gYZ4de8819ac74cd350270848db383e965090d21cebd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773