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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info GT| ]S Probabilistic_Noninterference:threads=4elapsed=73.279cpu=242.612gc=6.892factor=3.317zXZ ִF ! ] ŗXf1-q恈͐7ӺVPV[SZ]qتjJ e4"V!þѿVٶ$Ir[Ǧ$b [e(&yG*ƪK$hp_ h8A ZփX$=ќY[b'B`n)zUEj@cJkU|FQdIND ~{<\JbDcݺ|gRCv+rd,6cbh`[ Qb<8'wSeV["'˙~ iOA0` S2gnWDs8?ST}{] k jLIal6\*_'bK砐C]4n9KDU P|Ydz3z )sF @!P,0R1%ut5fZHjf'㰤pK+[(lBƇƖފWoR{&H^xVsV#{aKC /KA40_d,2BT&).hjnil\{-!>I'q Kqw)KU!Eʡ| EQ玳-j٩?Paqj;zz+N1jc9*1 ~.dފ@ f(Ka>Ztz\WԽY5'٩ %?"ߍ3UX:5zvҷ:@W SZɰ$ĦtjqWCGxȢP1R+:\{a]2!I[VrjD;7MwŌ=Z<3j`ޱ:^ɬ ~[: +y"셝uj^Q[#堛y HrnS#x(ճ04^hs?]3;3G,rqƈäxFeQpX