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  ' 'V'\ S%]Lazy-Lists-II:threads=2elapsed=2.219cpu=3.968gc=0.160factor=1.797zXZִF! l|]ŗXf1-/6vRZǽlK[8$ӼJCUs,?H غFىZ cS8ޔ=.s֫9YWrQU}è\K$v>(+gv||>ӭ2AEha;OgKqĵjx5+ '51>!ѻFm'6HP&Kz2AuDH+RC#*βG[JkP#Vt5,F贼&æwK*JAp-uPeju)}3T`lQ'_aFܯh'լKѿ0Qc[ BcIqZL2gI!kD[}>7PF'_Zs~%N>?PgYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f b044bc29763948d921e035013d5c578c5750edb4 e594d0302fc73b9c2525c4f236e433916a8632f0238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 249d310847f094e678d1cebf7b0b46b190e449e833411289b7f11489943f5db0b3f459cb75eee7a2 ' Lazy-Lists-II