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 Y $\ S Noninterference_Concurrent_Composition:threads=2elapsed=9.181cpu=17.352gc=0.372factor=1.897zXZִF! }L]ŗXf1-/6vR[y(&j-:6NWyFòޯkL+D\[C^)7 {;;5n֡}#(} zU?(HB.-1\DwTq/=kum53/dgr ˝@l^^H%YTٖ陙 'zSxAF5J(՟)8*X8TO7W7gYZ7zXZִF! 8P]ŗXi%6]'͗n8u+\ @0f ~Te.2߯8Rս]}P\kU16e}\"wu~~}cx`Jb8L:|3[.H%Brz$b'Q$^Ip̱|A +J$NfT<|9Trm:C1҇ɐzj"":0q?< d<%-2RG޳$ &|X5y2ɂm0Nc4n[ Ú-7Gc!1 kWH8OEkNsIUšlr|\I?tUO%G+fl#͸k}DJSd3GD2ܚr3T+Ǧ$CngGJNuYi+ IwUl8=bLlN`U6{VM23?n$STTA oٝ)ь2aS9J`EC6$0L9BsUO8âEGι/,geuk;RUCM((vx|ynPw/m~ҿ?˼"5Тtڦ}cCxO*)N69WئϪX$w,NLn6V ם=/iHSxop^v,FaF] i;GQ"5A`&o;v;?|~SX,Oz,, +9=hɡs X>ȤeBK/w4 s>ǿ(^z16&-?L4a>3pS"_Sw `^JǮ幨;{kʀeCcf-]$g :&Q\„fppsagYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 b602693d52c76ebfa1ac3078f621c3885da33d79 )Y Noninterference_Concurrent_Composition