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 o3 \| w/]Noninterference_CSP:threads=2elapsed=6.430cpu=11.284gc=0.504factor=1.757zXZִF! Le]ŗXf1-/6vR[y(&j-:6Th`'˶؛+ n$} =.*d )UY 3 Noninterference_CSP2z>) Hu *zībg@-dHM*wSVyMLUP1 %}ie Ya+Q%x(a)64,m$,jD6|!R*͔t"nK+鈽$[HS1 ر=6q+{>\W *̀DD|8e$ 1mdLS}tbSoE>^y] p,"e곎!o&;?B?)K9\Ȇ/Vҽ@g oM}uC)R$2GߓWEev5P|!3哛-wKv&E1xINۍniI`h5l\Z dx"?*$n%Ġ!Ey1B_=2 kW򁠚{'T|ޅa֔̎537-T>'GT-!}c,.nIn9gL0A oԾh;I2#Qjn^ݶJ=C @{Ua4ˇ,ɍ: NH%vwSn,9o%J]OB]ګdٞ[ {#]/ƒ~(w9j~,㢜qؑM  ;3,:l:U:5OQ,eO! COP@r|:Sp7sJ*2SpA 53|*,Į Փ ei((و@P?Z${:wOgX{4Yk,r))'Yã$N3., :]pM}Dd' +NM3d\k@O.Ah,F( 8p< bݕ#ޅrs@׻W T_gYZ22b267fb3848d40981a80663bc2c5f6954171d49 424acbaf6d8944477d5200138e02d33b5e077f36 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924a7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56c8e2bf8b7ee0e8b76ae08a5b505ef1d8a3a6c29f