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  n t4 ]S IOA-ABP:threads=2elapsed=5.623cpu=10.412gc=0.308factor=1.857zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 c!"׍)" ˵|B|խ~up- ^+\Yj.hselؓ04cQ6"`P)9bSJ,5^%T }.O SoònK>kK8 i_1Vos>D,$ bÓgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg!Pt](}&)Z/Ȓby/5!N_t-Iz/-!|T.h)vdz'8*`#KrI<*1#V_&.hAT9yPgn StW MK d}|m%rk*v[~f.h[q˴Ni'4#ԫȊ utjhfqG|DZgYZ7zXZִF! ]ŗXi%;ULs1xwTP*b+tŃ$RCHHp& :||O< Cj2nGݎ;;F0l{w(B=d!;ZTY9ˤF¬G"IbQ`~1~v=6fFŕHbb7zއk3{gv,ɯȈ`Cz,ڕ|,0Xpܪq5)؊Ǹ?+gYd&\plHylcjN{~~Œ~?FjnPDN5IybzdD$OOt40п'ߦ6n: 9S *?7BVVN1z\+FL)8܌RJlY>H7%E&yuCb0Nx{IkVE3-v5ʐ@ W{){QJ!$h{>7\JBt {~S:L`AD1C:R$!\ \CdBB~ 0Yl/wk=M5a!6Hx$g@9AmU0A o?)!4V2á s8b^I 7D{Hs#q`U L^(bR$Ʀqд7m3gYZ120bf5cc3874173361a9617d548af57ddbf31d3df82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 99ecd7f7cfb43e2f575ac3077627e2c33001f83e d96c32f8b2a195491e5f63fd5a64eece1939bb46   IOA-ABP