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 a- D m HOL-SET_Protocol:threads=6elapsed=21.562cpu=89.608gc=2.116factor=4.167zXZִF! q]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz;Â^(!Mq%;V$ `}K!3k۽ xm.m~[xy@S@ tz6)@ y[ʻQ6kWnCiM: yvM9dA&lF7MOذxҝnU'k#pf͓Ts:g ͋w4c $ B6&/yӻw*R$JȔD9&YQG glt'CWx#;K\~iBˢU!~\ȣ;'d_E)E-Ӆ[ْlQn(e.yfj/^MFl1sw[fcpxgͮ"P?,l?^;&&)'оS]ê(m#;+hBLD-now+('(=9-Dq~-"x *]e]=r*\ƲK5^8D:J ,o$[dzMwfF?A V/{d1l[adNJ1^ Ht&G5K.hMTjќgQ徵lI]*S}=5b=42AͼoirBZ/)itcUxs8%#l )OEg@M0>9ߺUD??0+]B>7غ @;k uvӌًF ཌɯbb]SS-"XH+,qW| - ׌~W"^m=)s !k' RnlE[FykG8Iۨ HiJv_ :͇ty9'isV1L%fYmFM@bB*vltrA"iQUi-%hwdfO!p-P˴Q\<>0L[~_ٻ NN?Bv/Zmύw 5ji8BTS9?bq> rYq0fyiۚ5qh曡<>t W1-(Y?H#%8h!Rc?2nJT+LMPeΣ4x c?Kpƍ[P2:Y+mW^~Jś;ޕCɬf$yWUd#.`9p3A:icfYu"4 Փ vtH9idI=x(QA;xՍweWB=Wnw7,feݔYWC@L|gYZ7zXZִF! gz]ŗXi%?x`JQUυ#/[eZ6xM;.e^ӷ<\M"s< Cژ6; W[gNe+- ZehHSqL<;jzlY oY`:>Sؚ{Kߠ1Hx !Z9q+:R<7\○Ǭtw^B[ ??ry}N)6ۊaF+);n~--'!.S3[%T!kFFvK-EG*\&f/j$ N˯) i(`wYV"qsg? 0"/flj>ٻIo n9+bB7rbWd' Q?5  _ׅl:l04FSt>%|Y>sya:i?`5kB=^nQcr˱2\ÉqJ)ԃ &c5&hňڻ.,+0A] %wR̹v|l?`nS\][ E)C—Or{5]l7Q=.5|r⵵95E8/>$uA}iD'},xR0y4M؇|61iO*.ڠf- ZKfroC崥mvt)hhn;dpPc8>/8PY~7e榿*eGM);`Ó8B3L?WF*̈́QQhsI>[f|ۢ}us,bbޞ,MWǰvMt7?S~>4ʚTqړD)|VLnߪgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadc526db8784354c53ce82452dd7e5d330d80528fa0 1970713ead8e1bd96e68d55b21b82adcbf1a054c 7aee6c9ddc3786a566135668463179e2b62af9b0