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  G# T ]]HOL-Nominal:threads=6elapsed=5.570cpu=12.144gc=0.564factor=2.187zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ e_TTk#BbN)x$~' AQ~e̦x+AoJ5G{g~׉kHzk p)BO\#0Rxmqp 5FI|7b q?l%8J6jjU-eYJ7*}e5Ԭ3e]K[)<|~C^kZԱ+:>Jߙ׍<'&fVK_ejhFKj,Xy͉bʥ9|v .46a>I] lx' ;HG]p?WSMQꝐ; 5{_XG`L%Wu/z̼o ", 9A7K,2^i$,,^1NM1S%O ;t#NNE6x 4NɸhƟ -LgP!}ƿKX snRSȶcYhYz$MŽSp %E~JP^$63 !N=j=g/,MԽZ4/@.v݂JfD/p'}MAZ'bU3ѪXB]G͛u s.uP0GMJ@r$wip$.]j*^@WSMxTek\d^(|`+g9ТZA7ig|" ˶t)u~ ZJc >KG8]|"FN~ß_@ج\ nhi'8CgYZ3afb3d79c0e977a82df000b3c9b5ac0729224bb7cb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f571755d4ece6fd0c18f2ca96039c44582ca6932d18640 # HOL-Nominal