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 DY \ ]/]Noninterference_Sequential_Composition:threads=4elapsed=15.168cpu=46.952gc=2.152factor=3.107zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~|(s8[Qu>\}ߗxj\@:!6ijVuզXB )VGsEb(+=% YyJpe@t215VB\LH)4(XVj(0V.]-3TLpG96ڎc!z3)?|}Q؍T\Ψ>b!E,ϒo'@r~jnɛ_=6"MeAale|6$5/n=>h+ 'FL"au|%!uLc ɫHțXm<щ3 ^\!Y TȨmb~O(1a)h\b)Yb30"%{m %fI:!EXx$}+QNEN)#ɝv9U >zv<5hC"g 'x)򫝷MAcY%^!. SP͆F1нd7s{qup*L #$ Hրtp*(3,sgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGha4 cfp+m F\1eMӥڂ~|Btx:TWBSRw}ff\9P*P~cف;;K\m5AX?n%(q`*l:>oTGMy 'FSVW0f^u"E:=1K t?\& G98t2zY0of~ G*gYZ7zXZִF! o]ŗXi%GV)*Wyvi~r 'Ep[eJ!Sn9/eG~FVnҐnр>n?2ok:}zDʁl m~f5Ϗjm{Jg1 bnj/vG*8'‚r 6ZS ýɤ2>3旜[`ӄ4x6zM@ЫF-ߙta BdHiIyN_%ͤP1&K ; xpRT)q[Fau9 kXSZOm28sR8q+J!P$hJ~~s[;@l 1wIY.f5;z(q|7oB:F?vEvVcĊ?8K!h$*?2>3:B> ZJBz%kL6rZG DU>u j٧]^;6[x[ޯL Bm%7RDw-zn,(%^.MdvuŏAφa?Y`a5y?jcvdD#ƾ;*]^e,ϲ廅T5_895$Hgg=GqIq(=0"L,.X*V^J/Y3^!懇U ?ڹCzg#x)Jv OtɀMFB*z[w@!šM7 (5{VZ]6Q֌3 TV' NRiʭ>ө(=d6Ƽgu)2'H_TӬzI.g(`UZ|>zQ#Y*W7%T[\Y ۝\y6_?po:4v"zqpZ1e~F'@2^5d;AhFPn B(^e]n'~zZPp;/I(˰" DYLZ.3\B &=d/_Y&kB z[zl0&{r . #m(wAUG; bF>H{RbK!XxP__C?T2O{,?WđXf+Ɛ X7dXFA69KNϪςU癪h;-eErG8eKKvqy w*ʐlOʼ ,Y6lIí"ZYûf 8[卢50YR7Er{} (*N/IVj?ʛ9H&OV,%:ʘ+%'gYZ1b8c5fc9edabbacf45422102093dfe6e9bb736de4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2e9b7fe20d1bf0b3ae36fb5e744e81ab3e6e03cb0 )Y Noninterference_Sequential_Composition