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  [ ["'T$ S%]Lazy-Lists-II:threads=2elapsed=2.348cpu=4.216gc=0.272factor=1.807zXZִF! "]ŗXf1-/6vRZǽlK[v'!)j:xxshY=9Y|R^ %D-/ð)$`=IWd25*-1NĨY(,.Ǡ c^U)Q11eZbt#RXF|),D"{[Ǡ;.I>:Cs"h1 >Q sw,ͩ8`Ib2'_cTah \b*9HeH&p]kF*~#ؕEAA~%) v`i8Vn3b编b>SW T8*Ip=T!^Ö_U_ K 1mgAŔM@,W+h$1+U V)gYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f0572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 8b11d14c63847957f15ba20e9bf48211fb5fc1f4 8793c2bbbaa7cefd8f9f6818d720712b4f8d35eef514543590559eade7c8824823661bc71681a61d ' Lazy-Lists-II