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.189cpu=16.728gc=0.512factor=1.647zXZִF! D/]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`__^i;ؒ Y-i-G"ܕQ!nzF0ZD͏^{>kN*.b*ÌR=.sNu~utOuɵs¸}jۅNc,;L㧡/#^U&zɜ}J<;`Ja^h5OiL |@ .]\k R'^q/Cz:56vg䍦OT8o]Ya2ˈNh`t/Ӥ%3y]5&a@JӫR[Y/?kaGKjXp&`P&d,Ho:cd /]+>v`Zu煮}4 Q-ʭPnLcIՖi5MZy.GS_wTaJ4 ؀2B0| +9ikccO=ٞpG/ ^\yy0 UqSZ~Ě';Za Px1Hcw ۢɥί{*>LGkoAJސ!IHYv6#}=+vtRJMN:Wk;R2il"ɰ4%ǖ]͕%y0ev2 'ꎷ@P #x 1o]ڰ.q{PtղU3U!>NAEQ &OQT$ Q.Ɣ=5m9&'꽏v]kf jw_ރ9v-*eV01|Eu35,-xxT f 5 wjv$iܽ*:9yopZeꈠ*r``N)/FO+.1gхo*mD2CǕ7`Z޼5+J#tԇQ < ԛa)%l4:2Ur 4YVǫ.ޯt9ZgYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e8399711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7 a6499e6c2907c8581564d0315519d1dba68c8d25 e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e 19f803144a5ac4a21d65f587369ff48ab1705200 72cb034a6cb9a1f9f3a9773d35aeaef096a9e3cb - Perron_Frobenius