SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ^^% |L ] Finger-Trees:threads=2elapsed=15.604cpu=24.232gc=1.596factor=1.557zXZִF! u]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip4fͷa= ]Sm0>!(x b~:7jymփwTq, S;YMՔ\PQ$q\ 5UNZ+aʸalK܂Đ`y MwdF0,awEěҟ&\$AC$zSlbF}`1)U:Y"NWu=|C oB&%GHY FY59FD:^x} 5ѻGjvZ!)4^EFkbOrzncr9b jL+2[3n!`eTJ;}n~_n$;_L|Z+gYZ7zXZִF! `]ŗXiɟ頪{jtJ" ZYYh(^}dJfp;ݲG^[[~ eCj(GOUtqUr9|#gYZ7zXZִF! V]ŗXi%ή++sXD3aRH* MM!@I>oE[Q(ax`ӎSS\sfa%%Rn s06c ([QgGS FQ $s7MO/J4=yN! $w;M̅Es?z.89<(8BOˢv SsyŠԞ]@Xx49SuluncKp;Xjm|mI֯k,َQ2%a;Mt$97F/]vl /M$ʀ/& MȻlnSMbDlo#|֒NgDF~,:@d2i5_GU xKM%2<>HbD'D퐦i8qpbHa͹?JIQdw N l{sW硚daMjBn*YDW(U ޳dVmQ% tqn{;&6 *&;,씛>iBnBX`oL* Қ}!Z%9H=Yf$d!1%`xt A$stNc^,pRucK~6^Q!`n" [Q땦"쬎o=$:;1WNZ;+=EY:4"_sl Ə+q +mJ'CY_}J³řlkĸ`Z;NK`?f^l4\Ыa<>KQ})w>̿2H&. mv`S-ԫ`3wgm#4WP.p,V&G%Fbi"ȫ><Qf'hn .<5_m'C*u_@ɗ99;o&yjQ?V:C"}lb" I խLgYZc0923f8636585f6e00147d9dded8aa1f2dd40ae500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c % Finger-Trees