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 ooDd ?/ Locales:threads=2elapsed=1.911cpu=3.068gc=0.000factor=1.617zXZִF! ]ŗXf1-̌g.൦:qLk)ޤ)1s&0)t`}d'!%N'B!Q&?rk{ U(f;꙼`OM'z…lTj5D\0FǴVO_N9:S+.l\%;Z9r\̬O:Ӂ-67r 7m¥s"=&UI&$"O^7+c0QrrqoCF8ǀڛY9 90 /2n`Zƨp6zXe[S襆ypsJ 4M!lK \V!0XFzRcjHG'6tL"N ,EP 8$l1>]u)@]P%K=[GqO4jf,A[|yk;IDa_BRo5ρSR=Wlxze0xpkAK   LocalesK`x[ޥnw'.kƱgYZ7zXZִF! r]ŗXi%B(JиiyUDƢ7  ]IZ\)|8E\ @j %E`Q4$0#,ҺA0Mڗtr7?L'59͢ aGXP%QGlϩ$SllͻȐ\D+,#Z*E^誜@~w6+#UNIc0'V.k`ݐcfkܺR x#s2<)#[琤&:ѳ#ǬDړ>, }-0~b,h;&bhlt~S_SOl' j59ɑ@Vg GIgYZ007664efb3738ca409342bcbf25b57d436593bcf 1ac91330fa2359e7f61f4e4632b8a07dd87b3e98 1da160366039766e29920490192f3e8c22eb2103 1e026a42c258fb94f4b48c080e1e210318f42f95 67835f79b4845d17e1099b9acdeb364a1bd6de34 6a4e0cd44321be400a4a4c8df0c2dee7a7874284 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9c8d1adee6a84ee9f5224142178592e3ef36ef61 a634d2977750efd14daaf8018feb1fdee3310b68 ce446eca49aaff573a11f5cc1ff525729b6c07160dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903