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 M% T w/ VolpanoSmith:threads=2elapsed=8.801cpu=15.104gc=0.532factor=1.727zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H\lIl!,("eEy4zVkyKb4ɐY Dnm;Ͼjb}{[;"PXI)/__&%~h@hڥR //Y~e,-5F Xmv lbvJ=i,q5EK~;*U9::E~aDcJ5BV ?u\_1cn&0V~fvHO@埋L"E2 16Dl}@&/!I#%8W*U߁7R|ud1=BIG6GXRvFɧ^G52\?rmUڎO,6læ!U*i`ЪxQN=zw|6Q뜻z#MrBה]VLWskޝe`\sŕ <_jX;dVȵo@=M5>fkNZ gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c % VolpanoSmith