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'-l %/ Constructor_Funs:threads=2elapsed=9.009cpu=6.124gc=0.292factor=0.687zXZִF! 0]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}#}MA)}{D,ӛuO-w#p1hiZ,` 5)Y'd2IĄ2nL`QA¼Pߟ5%s[,U]GZtL=C-WIi} hGHq\]砘MD N#Ы$tF){4>g촆MA#qjbٞ] .Lb3As'J=D\1"V ݏGbUk)z%FB2v%tn L|$`%M|ͬsoynʌs '[ {PF@>yIa/2a[SeغiRajԂAx\Y+1i|;wqDN^+[sT5x8rPf[pd+IH١r;-P>V/sh=m|p1 LdX? ![%?Oګn}LPfaE85?ugd_ d* ‰77wl$z(=S_@W^zi@| j>Ɍq)J#nfJaʱgYZ39934a44712cc3689b526749fc52819125ff01bc 39f4551db3e655a3b55d113812c2a52addd91c6f 5af00a6f93339e5ac33354c39f218d6b52d7a255 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be a050513c4e99915f1143006e1c9e5fbab0cc52789711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 - Constructor_Funs