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  V V'% , ]/ VolpanoSmith:threads=2elapsed=9.023cpu=15.856gc=0.592factor=1.767zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv71_AM_Z*$- pvo>"#DJ9vsG.J_l.zv|1g nӝS골h6y+,6F .nԼ-rW D3 _`D7׽6 ǐ:Fk|yެL ԅtgFym%kj{ s&QqvFԤ/>Y#DX.ՒQ.tʘƢa&5qNj]Fr,Xkwºy[oB*y#Fh < < ۆSaO\{Fl["UvgYZ7zXZִF! 5]ŗXi%6q > Cl N1ѽhZR#A Ǘ6h"7WdC EX7>)KzR D%}d`VA$X| :mNԎkodEBYw