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 77FM  w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.174cpu=14.516gc=0.624factor=1.587zXZִF! ?y]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cn cO]D Rh2E.G8br ٷry+cD 3h %|Fbxo CLY9`@{Mid- 2BRkj B"dҭmK&br .zRQ#V 4/AnB^:-Es9:ܘ{*4. qfAXi?vW/6F9R!̣9A|Dg JbYtӨY@RT䎏SR3_8ٗ]|nGq}lO|U<^O,WE\fzax{\Cdx].C窒#j*e[]\c]W/`x FH̓[:-M͙XS` B#/.fmaœlT`zT*~諟Jn(WC7Nt:R3 z;V-rr)S^a8 yb΍%o `e[;`S /bC g!|B핒2g%^)oBu3}{Ȋ~*bo=q n^ꏅ!× |*=ހsضzPZ Ǚe.*KW!Ŧ"/$VM<=bHPYLZ-E|mC Fs rdFջ?΅khh +<ӼOwљ&V2 zo2R{{3뺆Y έ ZUHZj+wW@+T1pu5ckp:Q03x(616vIlJ ㍒̄FbojB0  _O_RgYZ7zXZִF! 5]ŗXi% ŬrnaT^x0R۳$xxrf|4oiې ųރi擣kTl8ezsŰ'6^+|'#`%熵)Йcg0A՛dJGTQ|ᡉ`^^)#FH Y|,w*J[yE߲4'eHn| MPgpmr)xzKxO \5e"3-(oL_u/^'m [J+%5K JFW9z&00H Q)W!g~qMQA;6W"*`_,D!ud*[A"&xzU "k& *ŚMdo">f.9xM7˜_C=iE-vwwOETF,CDG.ޒmI(^y gx!܁c[D!xy?K,g'PmiJA\(Zލ-{=~M87Ab\eDcqYg/nϽbAJE`7߸S ջq|Ⱦ5Z+H"̋P`#(g~miſmF4>`e{29P=ɦ,jIXc>}e-8#X[%>TU:YJYy6!PLUd!q,f⨎Lkg/$2`_ЅZGɶF/+6 !*#764kH2NOAfz5{{pZNul*9S?u\#ԖGsR&bS?8ՠd2k ٱgYZ63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb d8e33ce75fbb18ae299412fd2c4c7bc12081f6cb fb97a5a27b8324495e15710f48c01e4a6b9acbbf9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 72f3f3299f592570269d947ea511149e76ff2bee573ba84ad9a6888f9bd859046859eaa6fa516c0e #M Noninterference_Ipurge_Unwinding