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   e+ \d ]% Secondary_Sylow:threads=2elapsed=6.214cpu=10.312gc=0.344factor=1.667zXZִF! C]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,׼}EH Ր|]CPn}3;OzA.06T/F p4 SYSo5SU](ξ U聋O|3+ۚ"A/H`ۏP)hEgYZ7zXZִF! *+]ŗXi%6Υlm{ xvSi01µM_fWfy̜W1&p@~M֊\PQyZR7~}?t9bTɂ=A;rd{HU)tA3TmHvR&n- )HFp`n=Izu Z fIPã `J2>n#0wLyr)rļ9LUqn@l G9fHzƋaUInXj7+I]x4>q"r-1S6G)shyyӛс2Q틳M&Uu70)Ie9R/CVf+vX1-YmWW[]ș$yM-aٲʹ crү !Z8 /ܖ|s^-p+|LEE4!'7t1Rtw׌hZJZhyW{Ĕ޴+(&禘5_Q~y E%yI:%wK`$~`Z4 u 2_!5*mR"F}>uIسyr7y&T AgYZ62441e8e3c23cff72db17aa5f80dc8fd5b1d4d0572476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 26957b508b4baf71538764af93c1fb38ff3317af + Secondary_Sylow