SQLite format 3@ .;  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 qq S $$ ]/ Noninterference_Inductive_Unwinding:threads=4elapsed=6.485cpu=21.368gc=0.864factor=3.297zXZִF! -]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GK0(v>Tr-\Q#.&Ƃ<r(H ~Ksܤ~Eᝁ^RGPo.2 (틆@P]u2}mm-d[,}+VϞ>t;M`'4!,}VnꐁZ╇yڼTwk.!ee^8< !]b}4{ON"]PbS/q_'u ze`dS!U\A.ac^[t|`mD^1իFkNBSV CC^(vD9 )/ .gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfX_*7YЬŔ_7_-D=sK5u riIp P^6݆1唆#4|vK +f[QdLW~{"AnxK;v8x:QbYyrw@HUfbU0gYZ7zXZִF! :n]ŗXi%L fM!'N@{QE ?ӎ{&H+:(GB&m(:{9.qjH箲t+=6+FћR/*†R eÍ` qlaɥRyexnF㼨лD4Kci DY7Q=1J"ip,'Xa l3j!*@mHj;nE\3D'F|}6et CL]̍M6{|#+}/cWF_Hǰ7T+IW*>Nb-ŗ c(n ʚH#wc-L_*={Y YCӨV-/d. X&cL3G٭n*EEĝ"4Xۂ=hlNߟ +2 {]yJǼOTJcm܅eV'ƛ$vN/;+V Zt#֢XzheKo@oʻ9w/0.WT{C4; 5QW rv*)L*۷NrVюPA@204-z]8:{nij ;*fa@чkε)