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 ''JO < SS Noninterference_Generic_Unwinding:threads=2elapsed=19.553cpu=21.416gc=0.304factor=1.107zXZִF! ]ŗXf1-/6vR[y(&j-:69:czR?OYq{x;qC#ƲhR8NTfhSФ.C(k {Be~x.שUjl3%!Ox9R RZ5ss(DAqwW;hH leZq ,w=+D%ϱgYZ7zXZִF! gO]ŗXi%R&OhՇe{~ѓD/B)*o5!ah"[nu=Lj.Y>=1I8G:tq()L0 k_:ri˫BIkhM2dO)̿;"X٩@;n6d;†asLl˼I'"- ބ<j/_T_nr?pkPnj ד%X#ʅsDѵoꃱ9nw!mq@ qc!1/j+j"In 5}-6&&#Lf+c]İgx/DĹ,pBh%'ড v1ZXANUG&Ig0 pRn .AkĴ1_qbE]5 i4mw8us9n*4L!`-j1Tl$q lqKxce猁1 a緂&S!N,yҭСS'~s&82نh鬢VO4ؔ\ԑs{+rkX'Қس(7N|rzP&`ꝶ/Ο]c+#ͺmHVL9(]ZR{|-єҢHY=Dy}ozL+Qęc3!~3r9JuE&L>Xڄ ksȆB~Kb^*^0J1a_i3JØB$8qK6(3$Za"iR175qL=Ժݚ=O<9 DyUPS? Naܝ0V<.@' (gYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd a2ea087c246dd1399266b38f108e1a4dc5a397ff d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 7f8ac03fc7dece9c9b143589a16f45128a005125 1e849cfc678e011a8b2b7a6abbdeb14b5c490e5b