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  '$ S%]Lazy-Lists-II:threads=2elapsed=2.252cpu=4.016gc=0.188factor=1.787zXZִF! ]ŗXf1-/6vRZǽlK[l)gW:x/0 RZtg T_ :}v<@Vm?ߵM DzeHwnq/:d%BmV[TLekHp6C-@^^/B>-g$ETv%Wa05H+]]렺~)_g]gYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 84024955ab826d77cab683176310d62f94d90c2ff205991a71b4b77bbebb73e676415efdb7832648 ' Lazy-Lists-II