SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [3 $ w/]Noninterference_CSP:threads=2elapsed=6.771cpu=12.896gc=0.660factor=1.907zXZִF! MJ]ŗXf1-/6vR[y(&j-:6XW,bPmpX#zdFѮ.ULg#Cib\,On\◕{dT~x6"XfG7b,zcEaPf>2$UFbW 8qP@cAbbsNXba`(e{-5 >9:@ UW0/EpRK;:U]1SؐHhezJ]2K)(FrQC 3 Noninterference_CSP~'/|OIPiksZ6㙀]ޘL~꽛uI mk`Ncj_4_}'c%2w5s-rU=nV(#<DA~fAlbk{ /!&VN>y2O lqp~9(F)X10$]L%QMd͌*^u{nJ]T@k5Vhh,'^($ M+}Eike`$&cH {T0g{2vfKB;fD$ ӓ{)ޢl "pۆ͇L)ǹRPqӽ$TN>%4~`mo+6NaMYK@.Vzhui&3ywXߵ*j^`gs̪9NH@qNUA)*N1M0FhMX)ւ)\bM}ʬXŀzp/XAdr[1"a2n%Lg¸;z_p)XQLG(m32QY`>ѱSư0U~Mi\lXI6ҳ;@&"pf gtxE,XpB: