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%4 w Pairing_Heap:threads=2elapsed=3.189cpu=6.360gc=0.424factor=1.997zXZִF! 1]ŗXf1-/6vR[2F*DlIWu,|ɸW#s8*4fOɷsw2))39~bfIXL3SgvԳ?ܰFuz91&'~C:mb D?(%[zf:xhd[H@w dDIl&ҫP@NPi XhgYZ7zXZִF! T<]ŗXi%6Do277S+SNPe"м"؆/^=jC<'6?qSm!YAۼg6P*AҌ&/j4xyá|q7^lVIxQ鷚 T k}$(O1`uyX }T9঳E cpÑUo1B YC霭F3=a<xsC&ޗ}" |KX܃"?DϧqIڭuz+؟TWg*~+59CMz`_Z<B %n$3T\BV (glXh .DgNa5lⷄrȽ Z;+_r?W1gJ}&(9&L\27H&lH:R[q.gYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 7ea3e05a8f3ab2b80d8a8612a361d715c60d53de 93fd90144aa239ee204184369f17168ed5614265 aceb996a5b707b618f7a30886fcc2ce058098773 d84bbd8fee625c6b6a5d1fb74985ca28d566399d f4f14f1c2e8055d14d9d44368f0d53e3945c2c1be4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 % Pairing_Heap