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 @@1# , +/]HOL-Nominal:threads=2elapsed=7.270cpu=14.284gc=0.716factor=1.967zXZִF! &]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L 3c3k<ӬBGooQˉgwl~i˵u1KGS~5 Jg] )hF/lfNAL ڌX ĀהZE IgQ#Z ۖQ5# mI7h.~/KYq&vK[iL+p78zke 7=|g! )?w6.M }& lrILc=߸0m}BPUM&91:3t  ȏ_YUƖw^iᝳW^>J@FϸL|rpʙB~5v! ,LI~LoaOW{Dyqj&k@zÃu\_̠mu+%j8DN]c|fz6iW3! 0<(s +Ӳ # HOL-Nominalm !0PQĞYFԝVܱU bMDikWXsq;mjL3 a[Qqxտ"[bv}2xs RlFa?\ʒ-O0+_`Bܯ[ 'cT;VCdl"3:AJX<0N~B)eks? +B嗧Sv/QIׇAqccCSΔNPB'ɓ~B֞a9k2Oe/XpSs5jn|Cxsl+:7c$\R菬 H"U鮆@'VY(&H'PV̡*;ZwUAНnjGkOe0_a#,LDMgYZ7zXZִF! #!]ŗXi%>)KH'_C8 ,lZ9+/IИ7nay,h&eXfp6>Ns7q) \"Oozb6Co瓯jF F gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 260d1372f9ef6050c9be39b36bb113f51b37d924 432ee014c9aacafa9643f0bf4c9d08c8433c4e1c 5117119a178eac69d137fb85243808da2d667eaf 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b b8f1fcafadf22f66173431166090ea8bc1c23476 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f612bc828037d6b79efe4fbae9e84b91c46ca8563269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b46273d02897497f1fa22c989d6de8ff76be400ba