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 1- \L ?m Perron_Frobenius:threads=2elapsed=10.157cpu=16.416gc=0.576factor=1.627zXZִF! $e]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/S8"B<m" ) 3#̵;|h0\/23\=oeLFH&|5"xqޠJzmv/uGEWKDz&+-k{Gl r`;ݨ 5,|<0yOn4뽝ԣV}9PB>f\}PդG8WHfߓ5!??WX&tmG/]ݯn1]ܾ}fNL~WY  Ydk7#7gYZ7zXZִF! :_]ŗXi%6{BvL(4f6ة/lYtwȇÊWOYP&84uZ7H4w#΋"EKw\bK2ћ)hT1|BOSU|7KHrLI xx zoG7pЫ06p!2݄zH˷o$aL|1 K|٦U 'dGw^ ќPuhR餩3+KDzv֤W"'Z =noTF W]0T$׉ˈ9v:,9;JQ̰5in0%ԋmMn]:ٝMm+ ?-:s\CA5+ceY1-|b36u`7M#V]25[avm=86XH}y&iĆ%|2&;>V1=I+=A[i@#GGRQ0ùO EoV^%0J0 @ 6zEZ1F"@w`xewt@gYZ068ae0b6c9dcbdc05a2e8d29240ec0383665c454 28aa785ee3550a7a2245384ccbef42aeed706179 34464ab2f12a41fc3135639fc645add3d98ecee7 3bd6cef377d5ddd3db101b937bdf0c8237e66c44 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8fc4c7c914b49a02862e1e9c180c6afca17d420c cbc6dc3ffcb11fb92bacf9ddd7368f32aa123845 d2333ddb008a5042f7005b01cc224c6044fa91dcf0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 f9861f56b3f17a629ca1ccf1600fe97071957a24 aa644cdcacf6434484881aec4a7e7d96cfc9eb5e 4e53ae27fd05e651877dde879e93587c3d7e72be a559056fd8374ab378ead2cb957af0d0dd4bad66 f4c97873d76046f697efbe4692e173d8e6cdc660 - Perron_Frobenius