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  z4 / GoedelGod:threads=2elapsed=7.907cpu=8.516gc=0.112factor=1.087zXZִF! ]ŗXf1-/6vRZȔd} bMJ3>~VaCs2 9ԭ2'qt3>F? NCp/zr5-L=[ c eI)5 z,"oH04Ton?:u,A(NՄˠ- N B2&fb N)i j`v4xrA;OlgYZ7zXZִF! .]ŗXi% HgZO; :xL`+BkS:P *ᮉ+|7Գvoʒ=aBuKnuvWJz. VC k)cE&yΠ@i9X>;gI"Bl#90 %ǘbm5ma YZX;2/G~=F/x>˨x&&eɿ2#23h?aHg:7K,BVɋEqb^[ę$ԐV ҫ]{!{u3.|@J,cD8Fw$ɘǀ5#Zq'Ӫ,0 @@#j˼F'PjLpYO)I %pd|vD4EoG+Vx/b72_9X[*"% M7gmXBy+Ou-=/a A+fyLa];?ݯ8.Is<8ON9ljHOeT+<%Mp"ifcCVxjQFmQZKMs|bZۑ9C3pМːͤU /xb):GdACg+HZ},KR>XP#Dz_Q 2JM*铫CZ0|Ynxxټ0^Q 3,wga#'aSB,t>Tb < {xjCWQ)Db jsT][ڱgYZ3fd30d99aed4ea85cb84e571147c0b79ca02596b cb8c60028e55824850818d8c962b053b2584f167 cc2a3a4065fae604f80b8a0c4114f9999701c8499711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4   GoedelGod