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 - \ ?m Perron_Frobenius:threads=2elapsed=10.140cpu=16.464gc=0.488factor=1.627zXZִF! h]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_ iKm'v\ȫX6BtE&9xbHb3`.j8 x Oa8H,t2&q,>R Z?+r:B2(8kJW4ѲY%dZpFGUzBĐleߔ5[ oWXHs3;K{Q.iLDɻo͂rz7?=GA|Lo=-jaa3(ӄϩW1Ɗk*+|N jѸW&`X oU )1)Ҝu"-;Q{USWEcak71Eh|o3_%>Fp&/~.BeBkf5(4[K#QQ,ZOQ1Ԏ[(Oh0߀2ǝRJh9F`O!vsx &(Hm^W)QP ʒ\9kA:/"CV9~;~)/SN0ZnuCS,iS1<&8vh..f&"UȬu-P{UbT]PV; tHfV^x,Чq,k_ }J T<Tܲ<8[><<.{ pz%ř9L>s [<s7b*F%> ʌTVkaR6'#%msQTHļpJAks |P!re,8Sfb)me箧2[@ǹ%_dVW C$mHH{3\Ү m Sk]*kWE;nQ-tiBgYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e8390ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 f7302172cbab6776a4f4ea357d315a195daebe42 d67a10205e66d01ca3a2256f96ec1a58fee34e40 210fcaa68eceb1909c0bca6b842c91dfdef9b6eb 5d83e01d4ad30dcd478eae5690303a92b3141b6b 92ba3abefd9bb19f1429fca2a206ef9622f07fd4 - Perron_Frobenius