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 yy3 ]/]Noninterference_CSP:threads=4elapsed=5.192cpu=14.232gc=0.272factor=2.747zXZִF! 2]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GLF zLac!cT&>}i oRdN? dQSwlB-Ë3^ I)ϖ ΋6?u&VHO.<%{&k8ړc?JҙH VV| A=ZADpe['D3:(煤Ht '5aѱgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGha~jU:, }X*g㬋UȶyFHOЯf5R-rf o<G0IB& |}^q>3ogYZ7zXZִF! 4=]ŗXi%GgR6_G% 1 /H#K3{inK/``+/e\1IR=2hH~sjnur>|.ɥ \/fyg j_~$5aA%)AcGC_gXqW_;* XEpzU} iCYC-PFCv*[eȒ5h:^M-ѵ)W+] n:liB-& $FxB89&0JT "tou]3䶒#d4< Mt8hGc^Ӏ5e>ܸ͙evb*xi/5=)7onoQ٭]!zSdvrpU4GQ*{%ɮ&#C$E) Qf뾝 d}0?dm;~ 8vel"*O2wTK++:q"[&X  0iZ K#NTr Y sRE6}28)9:7.TP4RL\w$[i훻`,e hbm _?GKrS5N/ Np$;|#K𧮮\kuB!,:Hh}9w/8F;a\?C]05@ ʮ遳ֳ[֎Ak- 0;OuBkאAAs37kUZ[_F8[փ^Sd2''?A]lߘT5F2 k(w&#N%hiܦː9;B0yauFy\ܦK7AHH1 V