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 X5 $\  Lam-ml-Normalization:threads=2elapsed=10.150cpu=16.436gc=0.740factor=1.627zXZִF! 8]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}edqD+v)_W ;9yf&qFH,19K~J7sp >&XE[?oaMyYP]`@.hR^o3MF&wqh4ͣ9Cn|`` aJo EUgNBF"8'oU9 52䶻GR]")>M 8Z X띢ijɂplF̒PbwHO|p07BHosx-S5G66-E?hvf ;Io,3'a` kMuM &0tQfJ7P1V4)x3~~Pe,e PEG`(n(K 1& bA<0+5='_挏]+1+3]KuCl 4 u?&5)\ CSMILzȒ]-_eL)ԡ)lz=^ӚL,~: 2|| {'j宜{R-~d{OSUER^N&d# 5 Lam-ml-Normalizationy/RH$2XtGtUי4] dEq^!ۮiNC}K֓s/Q{/IWAorRv!VXdZdΐ+a)Ȃ"0(wb7Fv"a@fҵWDrJJҥ46&z8CQ_/ JeM(\G7ÖSJT@;@E^qqXuPRQY$!1K0SdaDjhKJɝ{ ԚO)7^2R"4Ꮟk-/WJ:a,rQF3Mk=.,k}P<y,M$S`f $-  3le,#: )WKJQ!=( Zg5W]GL T!B4FIdV"9%tܾ@q(TXCD  Eg"l$KPVܦuWwυeJ@ 3NwzZy3PoG'4{WC6j9bh6/)q[M,]WQ9̄V,03sBk!a͍0. bKuf(Z8?L eTtTY5w`,$SB7)-RdZq{t!Ս$a7toޜ2Elk,J:$TNpgeNmGn-,fYӉ뻰Rv"O{K!k[ZpU`8ۮ[Q0 noY{0AI wPޓ% GYwԱ#Y̨ 7 ͝ߊ G}bkڲLt5¦~g~7J0` @G !}B@@U$0YNG@M}_/Z}1ptGW;~UnDX<_r!eOwxJD2#O+G!v䖻]ǿ =mh?znӧp)rt{¢gYZ41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 86a2591da0e38d5b2e0727782860c0b48c897868 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8ed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 a89f02d28a84921b68a3049deb12f3cca8ccf3e6