SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  6 6G,t ] Lorenz_C1:threads=2elapsed=0.747cpu=1.316gc=0.000factor=1.767zXZִF! l]ŗXf1-/6vR[$ l0Ie1 ڔ8e N |gq WͱЗ,Ĺ׍I| neЖhp" m I͠oBG%NWP#ca$w&Z ;tlY(QgYZ7zXZִF! G=]ŗXiɟǕ,,1q~Ԉ@m4~:q4Twާ'NkVt`jCYH3}YZ7zXZִF! r]ŗXi%;w}trX>}&HtbLV Z+9Hٜ| CZv1@D{_T'qPvEƛ!'A)/N87.~!,/Y(euvt1b.Գ!R}sTsƣnRX"M M vw<j @O&N^}I,;*Ucl o=EhE^F8{4]y DÂNd <v6nvI 9)H| ɹPIaFާت NıgYZ67599c8a773fcb467007410dca2850141764aeeb79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 79424fc2bd225bbe82e451975792da2a8c7bad88 f15b2805fe11f7d2e3aa91c73386f01c64d5dcdd c12ec75a9031df107e950a785c7da05724bb9374 a244235f2408a3857b2819fddda2a7c7544884cf 9b512c0cdbb6cb2d84e8cf28dc83fd754aab1843   Lorenz_C1