SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   qO |4\ ]S Noninterference_Generic_Unwinding:threads=2elapsed=18.754cpu=20.892gc=0.348factor=1.117zXZִF! u]ŗXf1-/6vR[y(&j-:67bfpkn~@SgYZ7zXZִF! fX]ŗXiɟģ={#1w,9+ݟOe F>h 3p#(^,B9 :D6H8̓[o.=*(J Xtg"}YZ7zXZִF! ll]ŗXi%>g^v7 ˪^17_S`5cׂ|g90?%|$<9 j 5FFw54Sߵ .34A~e[T-ֺ#,zswy(6 8H)Qa]sS5ePZlWTL3.% >d!6[OO8pёجB l5pVl+1Z/?nSj,6*F8;}]x.rCVi;ӼִhJč%\<8,؈|Og<$kn]5Px9#BpK=Ejw *s"%KefŪƶbY{,js_Q7"&?oguF .SE.x9uA4o-t2[mt~mY%k/yT\qq1N̂daQc]\tYt*ðAeb`ɑol;\ZUV94wso7!9suy0/o)ϡ1Kօ_UiQ: RtRt#gN%e!!zč"A[ uj^Ft6њԥ_P \u/1Y/gٰAGhıb4 ୊Laxь-Q;,?_/oG_K pA7zˆeiE}^?է({r2tPxOvp\F??R*ڸZ%^apwv$4ߏ#gKL@+oχ;8s> n(g"P?zVYSSv&jzH |8).3=sY|_cl@F{>J#n B/"Ilu,^qSyvwڲN3"t y!<<~wPNZub$6y[" CZZ}EV*#;M66GF) VPgYZ5a179471ad8ba728e66c845e6193b9acb48985dc665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 29ef9700e6c7454ee07b6dfca3d70e525addbf68 56c664827da00ee46eeba2d6795723a257429310 $O Noninterference_Generic_Unwinding