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  S $L ]/ Noninterference_Inductive_Unwinding:threads=4elapsed=5.609cpu=18.988gc=0.672factor=3.397zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~|(s8[Qu>\}ߗxj)03[_;Tz7#)XkĻ+v@ǕqqC#|okY,6!Q||Ñ59cp>cI-Zb߫P$/LvC1,xxm+sbPmt4 ư*TO , l+يs'MFs/:yT+GhFlfUZxVG]^HTHW|j~ gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfXwQ2mR$#.=KDJq0]5u{;wVpI/yp&׶SZEna/LͰ 0?'&.+~OP_H'?=CYOЭ{[PC^G: KV@W©.}Mht%C=mz4+J gYZ7zXZִF! 1]ŗXi%ES3NV9;*H~|)xP6||r4o\6fSk k#@jAm-ߢq"jc;^lV@Ұdxem&7#U&$;ODQBv %D &T~OˢtP_~`a3nDZ|3%7D7\1xm%.:EI-zTa4OXriq҂PiQ"t 4Gsҵ t)f{.{) 1Ԫ59`5v6ߘ&QqklcNyooD;9 HM?|xdOX3CK !G`m2rcc8$C@Ol([EFa9uMӂ5Rf6Ӧ_@UtU8:2ȭx%_"~@f7=#@(`F'a`W!U 0O>S~gH[`޸"b+! hz#;?8`'q&q*َBi"R4˃DX=o-͖{NE: p7_@z}>cc/؂()ږwFW#t8p OBWͽmICIʶT$.^RɥgQ+ .&fF +=gwz=׏Tȟ{8θNVVƶpD.m.>+lDSPqJbJ]5/V%g =VX!rpSpQІD&~hV ƌr曃%}uaՠд:ғ3}0DVޣ)Xp+´HwG4OE+:/?IQ 1Kh|jtaF:Yƻ:Ȗ~FaɑW/k2!eEL4B6(= RҲ@x&+Pk)ҹ`ߌѽWY"C&Kr7NZNh5nr\L!z $AcgYZf08bf123e699b8c699e57f4d62cbd4899afe5a4d76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 &S Noninterference_Inductive_Unwinding