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  K-lL %/ Constructor_Funs:threads=2elapsed=8.456cpu=5.732gc=0.196factor=0.687zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}"ydRCq^`&VtE4c(4pttEFnϴ?xg'daT62ȁn1+[| z`:E"1@ @,E-oYݷ.B% Ht%~73WaKNݗR^(̹1v58zԽdX0]ո9l5)nj+] c~C*uJV!+;񎅩b{K9a7y2&AcYñyړ}V) ]݀娪Nأ$3 +}-!|Qy<6}`j&3{v:\KH'YALfFV#I?.=GCWVXuh"\x w_C@˸zbnJ)=yc<H#Wp)9$W^acJE2Fz2A)-ybHsab8:֢U,>7w˶d(FmW\;aE% AF !ExsaxTgYZ39934a44712cc3689b526749fc52819125ff01bc 39f4551db3e655a3b55d113812c2a52addd91c6f 5af00a6f93339e5ac33354c39f218d6b52d7a255 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be a050513c4e99915f1143006e1c9e5fbab0cc5278735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa - Constructor_Funs