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 a- L< ?m Perron_Frobenius:threads=2elapsed=10.327cpu=16.808gc=0.548factor=1.637zXZִF! F]]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_\ &irtFq$bwNho-H X֒H:).*вLjA0r@m$Խ.c{, ̩q^Rr]nSDWAxov,N1j9 ~tYmNXySIk=ҿS D&֧YEdۭP8%F.| 8=TjU&uNҥzmUll \FCՓYzS(OsV'] %d{{{tuN23x rzIݮ[ vSɗÍP`DHM4mzll ;^c<Y{mb!#FGĕUpexκĤxb38~f"Ҫ &ɕD_ 6F?\r0Fly)X-9Us3BXASIGyC{WYsJaCJD7/D<bT頞ݝ5;~j>[d-,@_2`8A`~.~yރȹckK+03VV,zҔŜ!b́7l^Tcsi9xq߼`JA#> Ýw+6kar_C_?=5$4c@qkV¨d ?bmJVQ+UiH#@2UVxxq Uw/bTV ~iYm”BW<r& `)7#"gBlB'4dy@=,ı;r(Ti$@{Kx w\gYZ7zXZִF! <]ŗXi%s ɓ`d#D ҒiXL@}t݅h>G?NsDf/xv{G,5[-܆Zgvn~Mڧ-֩Zˑ1{wih=Hi_c̈́rBOvdwǿ@eZ]ۓ5@)ٟ!@"ⰤX BXW_ Y>%p~Ѷ3b,]uS YVk)|'I18>7/sj~2[y[g3 a!xtjd3)jp[gk:ry {cy9r& DcXhL7]\1Cjr.i&'Nrd5LÝ(cݭ`ZXK%ae"Ñź˧:z׾;!!Џ/[-b@$ij? .CL/є(T:сC-+Qa4Rݯ\62z3XL2-cN5he_ijT) A`Ƞ>4^*NYO65A?v2|@$iߍw!fx:) ˮc@f(0o*z~6wģ0h lEy蝆JHY”B^{^n=ykMFTO[>pO%r$gn+ksMVEZo1NEҙItܽ`<6QyJgYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e8399711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 49864562e8e54cd291c48e947679592174f2f35d 9d7d535d3ad8d58f3f29a36c74e6e9bc8a8a1330 97fa44cf51ebf82235b09ddbfd26ecc025bcd239 ab28000270f06c6856bf561e49b9b2e847ac146b 590e54e10c1066fd39601510f7738e8886baa52c - Perron_Frobenius