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  t3 T w/]Noninterference_CSP:threads=2elapsed=6.348cpu=11.432gc=0.448factor=1.807zXZִF! #]ŗXf1-/6vR[y(&j-:6%`vhOz$S *ԗ#ϛ7 "zȍYy_&ЏpCbcǫ²Вio4_B`{M6 yfP|^ =%+uQ7+JUUnTX6j4bȈkC:W!RwÞ!c,Bk MԷ9jS`cqѩp`R5]C1fڛHǽ'o3Ч3sLmפY=4z!3ް!D](Q[*Uq󚝬MqgBSm} d# ǡ'XGmypFY-0ɢ;j2 a=T)ױgYZ22b267fb3848d40981a80663bc2c5f6954171d49 424acbaf6d8944477d5200138e02d33b5e077f36 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f3883e9dd976fc99fafc3d965ca9b81d4051e605f 3 Noninterference_CSP