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 dS <$4 ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=9.236cpu=17.812gc=1.084factor=1.937zXZִF! ]ŗXf1-/6vR[y(&j-:6nѷΙ$8Q+Rҡ^G$ȧ/cN;:>g#08`Rk0gYZ7zXZִF! :]ŗXi%;уxN-6hX)1Rs=dMRw/Ʉ t0Xue?=+m`0᭦5V'˟' >}A*ReqX3,f_|o]R ?=lsӏa8( Kh?Gδ ٓs6Հgz)CXӒ-;m)Uh(,6B7PI %waCe*D9yN/"Pta^Z~ţ 뷎]-/a=B6zpHp듁0C+^P'`^.0ARX@8dl\r;4jj>YG7g\3!tж t:u̥X[&ča(#gU`BRD1VfhAfTҨO"P;?D}]W"|EEl%8{ VNpO;d5m,!߼ra5繦*dEQX#B߿Jm ${5פ+Wv'#nJ@rLnSF$N6uZDK}Pc$C9l1A ݤie2[u29gYZeab4d57597714230e78428ba481bee56d7b3f95a79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 &S Noninterference_Inductive_Unwinding