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 =- tL ?m Perron_Frobenius:threads=2elapsed=10.567cpu=16.988gc=0.556factor=1.617zXZִF! t]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/XK\mC7jk.zjh+l .p`r㙾>Ԥ`Q, Zg{a!ԮXpwRVΟ#fuƒƌXt՚#grߍld浬r=u!(?-Xٱ}ډ()s [$/4H=95W|#?yM}ü&;i7?8%C/p)rIJ>XJIq.ऱgYZ7zXZִF! <]ŗXi%6yeA;2B{SK: ) ly2|bsXr[sG@'QUPs1DU7 $*H>TsEY<*W?ר}/=&tǷo:i[?9RN-yZX~fS.?wQDbj7:9|s㐌X3=?y ;7}^CFǭn:Y}fRb]v ;?nΏN*(Sr09F sݶ J8w'Xzjkq!C~=WVPb'em{'Ю~zݡz.%E+ѱVN[Շk@EHD5/f7s9{?O'Zj[[JwGz]T]geKWbn&Oxwoc[@T-*u#H9+ݲ-mz+TA{z~xMMO֧ՑlM>f4f Mn\ JI=:ңKNK-<]h͠VR+ ݹ¢d&8ZtygYZ068ae0b6c9dcbdc05a2e8d29240ec0383665c454 29a231a92b44fdd3895ca86d43fe9477a9e77635 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 4c7d9c2bd3be6d35c58164136a474aa8fcfe757f ab1696901e1af5e8537a9898d9ab87cb9a3e7e2a d2333ddb008a5042f7005b01cc224c6044fa91dc d8c2d77e93e37814425dce22021c1a77c806e839238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 239ba587503017ea0f059c92e69d255d6d8a4747 68692b2155dd6508f42972a48cfbc300b551e0ca 82c8d9a8c2040254bc29c2f111692954d485ced0 3527e0367a77dd1f48937946514b204746ca83ca fc34e34afb0c270352214a6f8be95f09a6e2ca17 - Perron_Frobenius