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 cc< ?/ Locales:threads=2elapsed=1.793cpu=2.972gc=0.000factor=1.667zXZִF! ]ŗXf1-̌g.൦:qLk)ޤ)1s&0)t`}d'!U*( PV,&I.P=%VD\:%B6i y11Ӭ̪g^@MLKCQЄK ٗiL`{a"=Ry$*О6Xn9rf@JYxkhgFvY7I/3r*p % j`3Q950@%T=@ t|fp@t׼_j@t"L8|Ao &rK16x7[KOt QB$t<د}tz _ۢ<'Y.1*\o4+O3Y;]*Oݞ9%Hi-X VJY?'A/8Yz% P⪳/aRKybHAx=%h^. Q?ֳ5JhGI1&   Locales&t-gYZ7zXZִF! t]ŗXi%B\~ڍXEK3^ׇߞ۝] Mq:tc \=s}9WHrŋUYރYcmxE`"^& Tr>^%́G*&œgipċ<ם"ޣ'.mF4Ίօ81 J Qtp߃S\b8ģ@`JdJ넎fSdvqq8'81df7]po29)Aע}vz4x:[,c6լ]5qPXC|!ssۺ)ͻ"gYZ007664efb3738ca409342bcbf25b57d436593bcf 1da160366039766e29920490192f3e8c22eb2103 1e026a42c258fb94f4b48c080e1e210318f42f95 67835f79b4845d17e1099b9acdeb364a1bd6de34 6a4e0cd44321be400a4a4c8df0c2dee7a7874284 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9c8d1adee6a84ee9f5224142178592e3ef36ef61 a634d2977750efd14daaf8018feb1fdee3310b68 ce446eca49aaff573a11f5cc1ff525729b6c0716 f6b397756c6413beff46422b39adee24be220ea21d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b