SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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   f't S%]Lazy-Lists-II:threads=2elapsed=2.256cpu=4.020gc=0.168factor=1.787zXZִF! t]ŗXf1-/6vRZǽlK[^nou-ƨ%A?8pS4;4X2֘IcS7!@c3t=MM O*tK8f&p p&h-2\"M"s  &[Pq-oD|4'34I~E嗃0b>xnQ廂:mV0<յMJ,W @#6$B5i`|cA!jՈ3Rg)%9qC{_%0OztX1s C*Vٝ"o&>F) $2gYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f0b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e 0827bd8ab1601bb0f3979d5efaa5243c815cb833 cff0fb2cae19181083feaccfd574c50cdbf41c19852bb7a9b07668ab96fe053678f0a8268b85497c ' Lazy-Lists-II