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.199cpu=3.996gc=0.212factor=1.827zXZִF! ]ŗXf1-/6vRZǽlK[DHQUnR7K}e Zaz}(4#ʐ3-?_n Z^-K'e4 t؀cLLcWĤ&N=uan"Qאַ*<]ҙ;A&;GM]ѿ Z!~L[5a {XF1y&.u)cH?P/aEjIfC;.8Cq\wK[\.n/wHKJH6c&6BT]~B7_^3`pZ A{,9!!ʎ',R*K$]G[q-b4KsD7 _] i]o w/[j( Y)]wvp1zZor吧@0 8y ,5,z)}]"| u@$zbT:H{YŸ&H-(@ OFqN'8:"\{=͠ʀeGN޲Vhs&XU`U+kt#;8S@#2SsM`C),BpgYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f0c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 8696d5dacb7ffc7c7105956e9e6dc850cad54e67b1a4d7002ecabbd345dfd47bc3dd96e523f937f6 ' Lazy-Lists-II