SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  s s +<|\ ]% Secondary_Sylow:threads=2elapsed=5.746cpu=9.476gc=0.384factor=1.657zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃Fƈws]K!~@m,bk;V#3| *rG[z%X{tɾqVVBS7$-Z'U,Oʳ|etm5몥kinPbpt> ow9LdgYZ7zXZִF! v]ŗXiɟy|1J(*BhJp4N=f/c896C1ZUكkњӕ!t+(`փZSMSק}ňgYZ7zXZִF! %i&]ŗXi%9(O]οnYF򌙚t(T?5kUiY:@5vWے4(]|r5|tOjiM'uSJR65;[s8t5$g (Ž{4 όe,V($+{y{ X]EJᙪzK.W0\ ne0b'%e`(w6Bnƽ7Q@ _ڵMDnd64N̝'Wތ$$ *-Ͽd )h>؄;xU9â0i4QtTX߬Aȏ+>]}$5Bk:"HaP'&dSсrS X57]]Y/ͪkEM\ѡ22EL%+[.7Bj 9*E}8%/;B7ڧGbN܂aܼ"Z2v{.]/SFu /h"٬ȸ̄0Rc_Ҳ%'|EFvnqv)NŔA b0T:ޘ*A&pAl=(&DgcյGpFO8v#@9!czY/4Wj72"h[ 4ء;.@!S1>zӦi}_n C}W"M6cyp D5d B[{W.!J("vjqJ7ԱgYZ8f3ef6cd82caadae5718d923d090cc9dfc5509953bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 58a1d79a11e622615d10ad99cebd239721c5b867 9e47120e7eebea2a1db6fde87d33501d29281788 + Secondary_Sylow