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  W W&+ l %% Secondary_Sylow:threads=2elapsed=6.282cpu=10.368gc=0.376factor=1.657zXZִF! n]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃<i-,z j1;-) YȪk-h`.hR:~^G͡"ZU؂9 l9 8 ٓR,|&B 62mAB[Bjj)IH08p/Qr/_凘gNi.\y fㆱgYZ7zXZִF! *!-]ŗXi%6˻hda떊=|},m H"vG}%XDKa|YXwgjy؆fv4Cj6}ޮ B3!Ya8r!&݅#a%s;hwS|,a4EY5֖*OݲԺ,\l_e^_v2f8iCh:XYڪ5{9bw VOmI4LU9Nd\>WFPQ,+u]ap >b` gR(7ǺZjAɭޏ `n{C o@K7rT9G"+ ѡrK5K_wEVKQl<[N~z}Qf 0^-QkұS4h)/7oVE`&:Td8n;h|O{s/}>Y^ao'HL}6&tũQ*Do?t>DV'9a%OvI2E I^~Cܒ[pu g+ȗϠW2=ifܯO;w3Rr>XJD@io;PZ <-ݗ"< p Iӫ&{(8]7[Hl[2DҰA}9~L#J"s#!:K1 `U"ؐo(VUثY-*D: Ϊ"; A%#>\-T9%gYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f0554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe bf6f242b074731adb35c659fa7273c4e71866c40 + Secondary_Sylow