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 yy|'T, SS]Lazy-Lists-II:threads=2elapsed=2.349cpu=4.260gc=0.280factor=1.817zXZִF! G#]ŗXf1-/6vRZǽlK[oûg9IѢX1L?']K}BTNzr*PZPZ!m@b0X;Wo7jC)˚$)>.ʼy@+)ig%.&=TջdQ*#wWsg,j6rD/dM/P4'bz{b yޏiuW$Φ3XQCUȥ 8 4ЦS˝HTe1Ԁyh  ' Lazy-Lists-II>1WXpꎎ%gq255iEoqNzH0JgYZ7zXZִF!  ]ŗXi% ~`z~꜡e="zTq|(Mwl#R&կ&Iz{ݰVfӚ[ZxsI :RnUrYvCߛV&:L1>U w؋.s$kLܱb.2ya:sYjG̮e tzmq,SVާhn%JO;0K׭kFHǠjkٔHE6!sࢌ9c3mYPH&=gC…IQf 醕H~k#vLz7|*H齼/oNp;^d݅SԉGkJoq6ګ)|7@o߲x[ )#Nrz#?Ou"#! o6)} $t# Hb|[!hK(by 0T'ʡ}hm[(;и@YáOS?TS32Kpi"_&ƶn)>gYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91 0ee0178a68a6f0c05eb149635f7f8a508e24296a7c0b6d92d4c0454ad41fe1ebcf96cbdcc1b3f5a2