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  $ $Y?L4 ]/ Lifting_Definition_Option:threads=2elapsed=2.480cpu=2.844gc=0.000factor=1.157zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%)`Lwdg> Wi!# Y)Аȳ_mTiFPr]6^~/~br)9BИԈk tC(j{\*5gYZ7zXZִF! pV]ŗXiɟ @\Œó2Q~YڤNi8K8pt2D;c}ӪjTJ ~::wTHyA`ֱ)lrq}YZ7zXZִF! yD]ŗXi%92M!>'ohpYVWW#۶c08qnՁ%Jo[LPS45մM;StU5ْV4X?;1ۮ f#mN'S twǥ4 $^Zeu.=J3uHo"̶T1%,=s>'!\c.Q{䝉Z kc|/! Z4smM &50hfrա#ѮP?_Ed>x68}G0@O|upG/׌ost?Gf@BDlL^[sZ? qdd>Wq7 $T~&k,X+v:($H-y uTC(\UO< Q*=ڨtf&3&8Lp,p%Lj(q0a8y9)"1y+`ڸfAt0JH._F]]H , P@)"8CnS!v6~gYZb2a8b0f9bcbc9d16b4f69b6e8fd09b58fd7a092402339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 ? Lifting_Definition_Option