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  z+ L S/ Verified-Prover:threads=2elapsed=9.450cpu=12.612gc=0.372factor=1.337zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyִ8݁VOt;ѢcłXOBh&]3d-wWD'oN#PԘ&7y݂K]̮!PFja"}"1nB4HBHIM+>Y0aT< dĕ?Ft8(j 5:B器\_FjqL\ͳf h-h+gYZ7zXZִF! 83]ŗXi%M\1ؖlZܠۻ,ٻPmqjBxS@0nC5RiVl4sD"uEg,0vS{80)bL-:x5;ѴUn$E|bv"V8j6xwS7*Gjp+YlJF<_@k b\@ּٰAM I#}NġUO6榨Y9؈MPR;(/A3P`恚 gl(/"&))TB!"_r>fI Bgżx |~An yiLYb|;3 c`O%oc8}?Yl 9&ޗTBc3$}kȵgQ@1[ 1 oqA ,d 4ve/G+ KۚY,]⋇/+xN3su ݳ7TXLK)pF_~3#OD 0 3F k6NICNf qTvJ0$/suQ !v'O'" MXFpsrŚa/.rb}L5@g†BЎu.ą\8F+0HrnUGD9slW*f6>SW`]D)2-`C=w߆2*vތ8wKM0鈭m{lPt_n, l &ywߩCQ޻ V9qumP ^ o3a+ nwqfr>,9mz_EޱH I"+k d}pZDZgYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa + Verified-Prover