SQLite format 3@ . BBh77otableisabelle_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 lY D$d ]/]Noninterference_Sequential_Composition:threads=2elapsed=22.319cpu=38.292gc=1.732factor=1.727zXZִF! Z]ŗXf1-/6vR[y(&j-:6+> ;[6ܓ:uf@ F]YT0ոB.[eqlT`Q ^qaP$xϜXW4"!'u^2GU#Ӭcj/}¼aHk/"kϹ.BHR)kVDUcEɭٯ  L*0s#h+R\flTgSR"ThZ^wn|7vK?@R 6ױrL4q* Sc~` D&Ta r9< $lKd na;c>Q3 rM Ǔ}sjbMpUvEgYZ7zXZִF! u)]ŗXi%6SoȟG^șv pt[uzH߹6쇩@edf (a6)zWMWHp'"^:v>C;qsXP^`]~x:!: ~c&X z᫏Qj4!JFNvJF(WZѝAJ>۵͆ȮR57.2w[$ =r">* ^m5Ġ/AAX[l#z")S%$ -$3oGi!fRr8C2,O΀GڍL,I/uR*7ȷ4ɣ*Wѷj}8<ѹV&'7AE-~mHmxgq8F[`s m+CΓ(C;$;)y4De?A]>,$d=6ykZU;T60E6zEkgP]4krҤG ^WPB򸘱j-\=ܟrt}OCAk:QޫG43Ub֧;??IAV# 0d+dחp@U {xUIUX&\WZ` EK1ځ*b 4XFu1.H!\*6pUe44N%@<ɴBWVjo'B bk-J,gNoΩd8$,WMeǗFNwwL3D`@.rf` #gYZ894db7d590eace9b10273746f513fd3464a9a798e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc087964537e1dcfa42590fcdd7356975bcfec78a3 )Y Noninterference_Sequential_Composition