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 !- L< ?m Perron_Frobenius:threads=2elapsed=10.163cpu=16.512gc=0.468factor=1.627zXZִF! "`]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/xJwACǵrʳ@Rroˎ.U#϶`ϝ#Nt,vSd֫ם`A - ]0AE6XpZ(lC'd"Zг"{2^oEw}VU49F[Xk@/ͽ}ːy5PjSʰy;KЙ(ʰI%mZiiC+b\8-!ʁ֜ސŋ lj:NS@$(VUvD\s]!}3MtC<*gYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e839554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe bf6f242b074731adb35c659fa7273c4e71866c40 bb4f64a8117ebe85e9a66c71832d74de86a7dcf1 6cd04ff9d4f94cb43c724a50dcba0f01fd827af7 b7b40d4ea4a1c0513a28b013c55d79825251a987 3874a4dd027b6a7ec889748dbe354323cf618dbc - Perron_Frobenius