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  n+ l %% Secondary_Sylow:threads=2elapsed=6.277cpu=10.344gc=0.312factor=1.657zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ Y呿"%ԉѨ򔏔=/t\emN)v~&U:@sT*@6LC '"R͓S pijg(IeJIHNEuXv PرgYZ7zXZִF! ']ŗXi%6y4ˡO8~U9X'p ߘ®Ҙ3Z+خœ'=]BJ;! VOXY6*Fd-FK?YU 6TZ5)᧊9tF*g )iG`6x?HڣoxlpzKnq5 Ifyn,[g-C+gJ_ s\M fJ)=~m"C[ϡN s5a dQ39$=1o / dM x3O!Btvk~D|󑾐͊:(*<j̵ñ.&Cs #j{ ar ȍoiH,NtT.:֒ )>ٴj03'_e?|s[oG,JunZqA,5B?r{i"0&N";u&⓲xuhB@B'THZdiO:ŽOgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f0554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 + Secondary_Sylow