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 *+ | %% Secondary_Sylow:threads=2elapsed=5.291cpu=10.432gc=0.312factor=1.977zXZִF! N]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ꯘ-2yb& ـaDk#XLS\s+='OeXvZ*QD;XIJ%?n20쳢\ n1oTB3:`<(R8 ezaD?9[ ^..&QL M) VĻnL)1nk= m.@UNIs[g%ap;'⥣uC*3T2އ`:ٹ'V\4AH>"vJYU?j)l=I;ˢ݆+4v>F@-U 줶Zp7Q,$WU Z~,3?;9b'᫨^K;o\MbJVQ4l n%ZJ6Lߩ"KY(dcx̐!Ų)xJ]ѣ\,P!TwAx9Oy &ug`u{EU fGUd)Ӫ x痪`Ň":&iۣˎuSbMiL:N2K\Eϲq[lf!t(x 1"%v%U)ݹ6'#%Zb- rP➄ }ow9jWeONa@ĴpDaubq{V۟jbxSrEOV)@2:.e١DIsըQi=%أmჟH-/K:ψm?rg2 >:дl٪X>j?sm4n]8:hD88_]W@cV2؈JBo7pç[qP9;ʌW4ShK BKvfy5Ox}kwP|hͪz7b& Qyw<p $o$ ria1<0"!U~CæU@-(hLɤ˿𧏡x}h=tG1BŘzފ Dh) fmx81٩J5brPQ!mǔZ'԰\K >7Ђ= y:"gYZ7zXZִF! #&]ŗXi%s;O7js?ʯ]?a֫vyxUJ}; S@ `Aoj <UĄ0;xg5z ʶQOQc)Jn$r~51hsaie]*uQ(Vm60wYOrf/</VhyQkۨe x5]ߦ(bx4{H=楘fnz[|tA U|(&]n0i 66%~4:X (0@ =G40>Y48iG6?~=pHEt-~ QiyjPnR]-!FhPVMѶl&d Sl[S B &8I,ͨe_5L )XY) ֑ع&!Bi#L82z ̚g!QruNFVA>1;§rA&x9LD c6L&b Vh֝oeT+m_<)#+xGnE/XLds }7p45v%Ī SHԳ!P() c'vjTqADr|hxgR:2-&3?Jseq_ܛ1d,$L_\P素{ɭQsF#gYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f09711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 49864562e8e54cd291c48e947679592174f2f35d + Secondary_Sylow