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   g#4|L ]/]HOL-Eisbach:threads=2elapsed=4.083cpu=8.044gc=0.228factor=1.977zXZִF! Q]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K: 4ҳ٭l ;Y_ؾt\e[.^C c_x }&*F9xL۱"AtAN]:>6bbӺ)AJl31i(tWS8t"ՇaHs!7ɗX⼽iiں2rMFt=@Xd KA c \> ; f(nӤesJ&>˹>QQ&!ݣVt5 X/1*gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko˓*(frJ#  81yTՅ}kdOnApf3 #’`v!=Ί>T E09 )p y68Xxu#GH,۠ontf u:姱gYZ7zXZִF! ]ŗXi%9+m lz=v0/kbK mU#Tn'ns_Dg9N MKQ2hC8 'O$m]-?ȿ