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  7D, ]/ HOL-IOA:threads=2elapsed=2.777cpu=4.060gc=0.200factor=1.467zXZִF! y]ŗXf1-q恈`Di۩Nnf|17с% \?o(\e"T(AdIE~/*Fc'Qlu;tAS=v1$-gYZ7zXZִF! Y]ŗXiɟ1řGtHʘ뤑C{Yf'V+z"5ROUzC?LԐ9P!NЋugYZ7zXZִF! ]ŗXi%96@ƒ*{Kn~&W2zz,8I FN)6*YWPC!z*oXNH{a>QOxu{8Wlu*xQV,$L<Gnri<8Y-4Mr-edj1`C7 AkŴL+BЦiSQ 8[bFTYS* [r^ QXB%sZTkdqhKͬ% Qb{I3R*PΘJCϪW&';ݘɻg=>ᘎowFTSj2AP~<a^0`5y o^VNAi{vJ*>t]7#0E`u3B{M{TrO[G%ueDKP?3D?gYZ01d4dce3327415e43bc50cc2131cd1fabcff133b3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de   HOL-IOA