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 z/ DL\ ]% Pratt_Certificate:threads=2elapsed=19.074cpu=37.360gc=0.528factor=1.967zXZִF! ]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@.Sqу L0uMLYQX9A{H3nJKzF;=Zgk^t~<JR)ՍYk"ϜLDT5;"fe& MfQ:`}J׫௼ao [!PP"S4_$@gNLSKsC73 ,u;^-̬ga}&műgYZ7zXZִF! `]ŗXiɟIPDOB`7"Aß$/7oG`~_at(x"huZ'a`.E9|AgYZ7zXZִF! ig]ŗXi%92I^z5Eں#}u-*Zu|oؑոK21Z%` /6{ڧeˮ(7͹鼴l~Gtu1t]ԽA wk$٘-7M>_L^5|,o~-r.Y1 Wز&JU(F8<нhaVz^ou zİupX~Cnֺ {3=-n/X31֫*M۶D Mm}y`< !3 aGjDZRxJ3"ש .e,hYCm!YqCJmB[( ڱfq--)qW 㡡$ F ZDDz߸'d"V`3@J/٢ .>Sndi9>nñGFsgV"A)TkESkOTY!wc"wٟCp|ҺJF#p'L6a헣+b8P  4gYZb1b1704462b23cc361583d8a04b2070bd6623017bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 9b8c9cab83535305bb7ec47115f62b016b968e85 650d158ad8b8f7c413b6ac3491ee14860ce80093 / Pratt_Certificate