SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 MM0Y T$\ ]/]Noninterference_Sequential_Composition:threads=2elapsed=21.123cpu=36.428gc=2.000factor=1.727zXZִF! #]ŗXf1-/6vR[y(&j-:6 dT@`nYs̞dB*oV)^v][eg/gd1$w(j̟t@A,Egh5DS̵:|BN@]=u#.˸x %%R+U*40v /HLZ G(GkEm-fY Gw{)wzg]/(׍9=80!;pϻlH~z0eQ-^FaxA>Z ր,̵er8-1 FrC`MپJTr 9nn\5p#+!<Jœ$㇟țٖӞ)AC+'>`ưl.b >' iq7x[Un;[CL)2*D(Y _6#gX%] L>jUqx^WRK\<gYZ7zXZִF! z]ŗXi%;C`TԛV|G2!>CPV+Lz>hGX58o+QٷEumf?<4ّMJP_'p RB .3r7vjwaMyV;/h\& oY/M?^$ȓGI9M̀ Nxg[Mh ((Љ'RvW3@V4&HN %/8VS q~kJ*n%Tk_ h(},K >mY>YLb`+?͝}7"7sBmWa\\CgT' ~@y4yðmTG(~EX0C)-"pYG-9\YWnVa2vog7<'})?+ %j}OŰGݛM5_ +;ԅ$fu12\϶Eof9bzHd/P5cEU?7oo5^,D&1gRm;LDR:@/M|:&"7ݒoǴcVSs<hWHZu4`˦swDS=X뱣bC}xm׼.6V;j [Pj"P6J+$@̴CZlM ߊ<)u*33K`ac!)ŠGaI(+F+iݗبXnKS~r_} xyb?`1hɐCM\[<-ReU&UC.gFReNiąEV֬ u4_fl&z%{,YBk/w 3n7։w*|mdkNQ2Wr3IK:O1wS#}O+}/KG_?_PzG]@( Y=>&Y *;oaYd~Fq^q% iN~Pb4-Na76OMԘw_q,  gYZ6b9951d634fae22922d776d43d48556681328094a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39847b496fe00d85ccf39afb3d221f36ddcb13f40d )Y Noninterference_Sequential_Composition