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 `- d$ ?m Perron_Frobenius:threads=2elapsed=8.758cpu=14.336gc=0.556factor=1.647zXZִF! "j]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/U$)C0i=Jp<'b{CUQ|iT6T!=g%KۮoO@abIT͑5ґn@ߞ$0b9tHatOsf 2UQ/)8l*!~P؍R<5QڋNv2FA &^V K"cKk˗s$ 2M57Dm qy0q{E016<$ڥwY>&,-DG[ h/@aUUJF4dSLgYZ7zXZִF! 3^]ŗXi%6Wso9-sLSj m(4ܚ#nQK;>??{avqpVʱ 98ldI_AO4&ЅLk9݈t7yjPvhhJ[S D{K;wOؐ!㛦Ǹ <{ е6,I걠6e Fȍ.a+ixvbWao({n<,Se>SX Pr9+atC:(C k=[c?_;IȒb91m Mbi̶d++>p7BA&Q4;K1mPeQ_~bx-X eSÁU ڐ{@==4N<<G_M=kȂLuQX]k <ƨ>_cs.7z=,D#~x>o-h*&JC/MaܒmRB Y'Ecv$NfCWw&&X8]F֥n]1zШ!iąCZ,>nV[S*A'X0(>U.iDK0Z7fA528gu'Tu Ebh^iOᑄgi5\^mPZRPE)羌'-~h7S[c$3fc]gYZ068ae0b6c9dcbdc05a2e8d29240ec0383665c454 28aa785ee3550a7a2245384ccbef42aeed706179 34464ab2f12a41fc3135639fc645add3d98ecee7 3bd6cef377d5ddd3db101b937bdf0c8237e66c44 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8fc4c7c914b49a02862e1e9c180c6afca17d420c cbc6dc3ffcb11fb92bacf9ddd7368f32aa123845 d2333ddb008a5042f7005b01cc224c6044fa91dcf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 502d441ff4e78612d9bfdcee6255c73d96f5757f 669f1d989ccc8432ce0207b5dfb87086e159796c 0f105beb97f56617b85e9ee0e2fb2fb38deb25f9 82a37fe364b430cc09b750f415b69e157b0b692f b1a9dc820b7e94c071e534c6ed3cab5a987c90af - Perron_Frobenius