SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 d| / Noninterference_Inductive_Unwinding:threads=2elapsed=11.271cpu=19.604gc=1.048factor=1.747zXZִF! W]ŗXf1-/6vR[y(&j-:6mcwϨQ+>Mf*A-R6sԙ@Η77 ULn6acTTަUȮy3׵*,$`&O1XCZW6`|gYZ7zXZִF! = ]ŗXi%6ב 3`-qaq3c.L[{L ~&˹zv+Y7K]j<yY"&W+~U=m{z,H/Y\K6Gm&з0 O6fiĢp2A:SO@RH`)N?ŝj6*B~^% 028A(Ơp5({C|kRd[ڀ.W6|0zN8}=Bbts(W=9$3iNXQo$s,-UO9Az_+nF@ !-a;Gz/ޅظǞxV(laѠ P݆Vv ?  EZl,?ʱ(~\k8<Ih4ćh_qO}kn3 ^rU 5u $Xg;iS(%HlF*GSE1qU=0zGtPBYiqqQ^QJXp]%" qiu;ryE߲A02 P!n\wKه'ҝXXOٽP0Z\K6mLS]F1C YK*,B|brIL)_sʫ9čAQ?-oۇS:hab s&YFI&K|[&~T*szL/;gYZ00634703e53972e43bdf7c6011dd4de60d00fa8d 0f3f2c0ca7cea32410f78f2c094d9b6d62d9fd53 4e684f2e08e3f6df8919031dd3f14765925e7821 63b9332e0c2b071f8797a7aafcddf15a927e077b a6b094d614f8a6b947a18a52dcf98ae62ce29df3 c16d293033efaf475dcb0c79783652e46dcc0ee6 c571be726e2b51d61550b43ddefaa284ff8eccdb ef1da747fe28e872563b4d4dd6ad351a77b9924a238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 &S Noninterference_Inductive_Unwinding