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 {{z  ?/ Locales:threads=2elapsed=1.754cpu=2.872gc=0.000factor=1.647zXZִF! ]ŗXf1-̌g.൦:qLk)ޤ)1s&0)t`}d'!G'B!Q&?d5r g_[K"gUr2#ce! M>yHKI%X? H Ň*q\M_i!c6" dIū;? ޟa2\5tߋYZ!P0)G $_ɁASLzȥc ɛ8ȗV4):H&> D"}lx26&UOSug##B]>Ojn^) u|l򙵒Ky#yYkE-\Vq/9X(JZ^'\W@ɖM5,@ܖ1=501Bkk$Z !ʤ&A#zUFT+n4V ]   Locales#kpgYZ7zXZִF! t]ŗXi%#fK2٧>Qbߜ ꗥ]];Y"2Y JsW?/SİFҩm-q%9nT2EȢ.t q;0tsYJ0S?f^512' ]$$ efGj(#`\m ;˞ ml[4;K-vsnWaÍxZg !Oo761hbn `GV2%TR%R-zk92Zgu >ֿ2rt͎\LH\ޢW?^Ra"燦 WPRYLlep';K6am(/%?p8dḓ>V;}fg#y{&5ogYZ007664efb3738ca409342bcbf25b57d436593bcf 1da160366039766e29920490192f3e8c22eb2103 1e026a42c258fb94f4b48c080e1e210318f42f95 67835f79b4845d17e1099b9acdeb364a1bd6de34 6a4e0cd44321be400a4a4c8df0c2dee7a7874284 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9c8d1adee6a84ee9f5224142178592e3ef36ef61 a634d2977750efd14daaf8018feb1fdee3310b68 ce446eca49aaff573a11f5cc1ff525729b6c0716 f6b397756c6413beff46422b39adee24be220ea276e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575