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 * Dl ]]IOA:threads=2elapsed=17.925cpu=33.184gc=1.344factor=1.857zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K,X<.vό@Y|=שbԭ$b³DaFf5P<ǗR\#( g6f»ݎZīaOwD Rw2ԓ>H D5::TX0 4$FEGz9Mj9Y=?>AO:NR*-YČDpa YjU7us.B5VM3Ib6 I>2:zvʟ3)Cs8n#P[/PvlFV6EVXP͐sDSȾW /ɏi76;Hhp [EM`2Եui% b tҪUWs6dȬio93fܐ[GJ }u=UTS pq$ \וtguTP?z gC`訾AdqW#}gYZ7zXZִF! `n]ŗXiɟdN&lZyjtWFȥ4 K(aZ#JrEf-AD&^̟FNà7ՏG ǥ 0V6]9ljKAǔ xT0_B+p}<.)F>󍲕3]3)h8O>NC5X<{Q%=("lU`T)$Zi>|&juMSZs^#re]Y On!PPMKuyI)%F|䗼6͎`nq&QY_ 1bMm|mH|ҰZO@gh\DK6|ck#:.*b<;"a