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  s s -| ]/ General-Triangle:threads=2elapsed=0.824cpu=1.264gc=0.000factor=1.537zXZִF! 5u]ŗXf1-/6vRZwF|"Ţ_1T#s/7پYc6j+~cTtAKQ 'ۧN9dTȰG@,蓮z~n@gYZ7zXZִF! ]ŗXi%6At# o^Suj1{{ {bF)\=a &S43etzS05MHDM?LqINk-f+ 'T%gExPQbZgD_flw7<·m܊J9jC";+PF%H+pM PaRS~7*_:$a4Y<*8[GCM> 7ܝc ջ:lu6={`\_`IEJB?<+Aظ]XJ2}e=]&cOqsT})jvh0{lme?B9ǔBOm-cq"qAk 3WЗM/0&@?vL)8,n$W}. gYZ9d465de1790b3f27da07dc1a8d7ce20826adbcffe003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e - General-Triangle