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 RM dD, ]]Noninterference_Ipurge_Unwinding:threads=4elapsed=5.688cpu=16.872gc=0.716factor=2.977zXZִF!  *]ŗXf[&!9 _jl1su[cȤ+b 2ˁL7$oI}6L|bQIpE L--͘w$fNgYZ7zXZִF! ']ŗXiɟ\K 荮1%c[58Al. ytbB#fo`X`z 1Y]W^::~AE>tDw{1Q{'( W==LCMZQ=a^#e ~0Nk)a$Xt<@z6ߣ" CFX{F)0]xM?zqtO#u1tLzVM:VonXN0\"}rMET*kPAQEŜx\3x*m0-m{3tw <{|%ĈlK˞gPn}ɡ)QpqSdvP!GߨxAms˕(1o-{ƛK9/9KݞB%7% 7F:΄9]EHϗ }RTPĉO@ymzdFV$7 5o;d_oYDY۱u0c@7j+y稹DfT1[M(ћU,ـT] IKa&t,烖03ثKcS [qX`~4vy+ tgYZ1e8015d6ee025f4ad2915f359648bdfc6300b0e878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 d4d000888a84bbc5886959133e1ebea376735269e72838e69ff03fe0fecb13e21dbd0cf6c6078e90 #M Noninterference_Ipurge_Unwinding