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 LL%M < w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.072cpu=14.400gc=0.636factor=1.597zXZִF! ;U]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmqT^,TJHLag+WZ3:fԳoe_d_HtO&5C0t"\Nw&sg+A\)(mt,⸣@4j0>2'QR\m? 'PTAeJ>K\72i*; Z脕qTw߷#N{Cq4PiePfzYK a%&üϠ'ZTFlYL\PU:Kc78'scIdk^1mH 4̨36aM HB2k3I?TW#%6F J"(Y:fv PTKMdc  ֔3U9>pQAMjŋ]!r[7vP #ookՌɧټX6O.΅Qp'q NWO$) #M Noninterference_Ipurge_UnwindingAZ`V:[s@x(Vp Wx>-p5]3.GS e$vq(~WiA4|%>8H!+wXF}PVwd H4O4:)@{^: M*]h Q6>b<`amԾ&1t,BC= L<|gE{`nQ[wc&aFc&򄎋P :{8?4el$ٛd->H<dkvViWtp~]d#)Jw!IOF0d4,{0%2w8 /xfw쿆W C!qҎz֚] [#pFnkKFtnYqaUh#%VWgкD8VL$j<#~d7W\ttU V_3f~%ęw}]eEKjK+t,FN _aMHW2+O5`ute`$?Q,Pϙ}f'z~$O#D42Zoૺ Dd1dؤwySk 7!UВ[I1qs``^TcLi٩PSjeQq%;zJ>YFEF jےܡQE iz,WA R7Dh?ۺ HՁ6Zoi(gr̛&Wl')GwՈεSBP˕oں}HAhcR%m\zO}z6q܀PIYeS(˯:awn)*8ΕF2JS ChG.Z(oӱX蜼N׈!(b&}5F:+p8+ȱgYZ63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb d8e33ce75fbb18ae299412fd2c4c7bc12081f6cb fb97a5a27b8324495e15710f48c01e4a6b9acbbf7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 c8e2bf8b7ee0e8b76ae08a5b505ef1d8a3a6c29f9a1159fdc6ebfc73d0c9459b3ff956fa1dd40e24