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  ` `- LL ]/ Constructor_Funs:threads=2elapsed=10.377cpu=5.932gc=0.268factor=0.577zXZִF! 6]ŗXf1-/6vRZy ߃&O/GYc񍊗(=Ti1Tϝ/j"T^'Rp&?ͷ[e8^[IRsBc1, ['K40bH $ gYZ7zXZִF! _]ŗXiɟ.6j@׵|Ix"Vlv/ whلT`1Ȣ׬*K¾S&)G4߅wqg { pgYZ7zXZִF! ?]ŗXi%;Ÿv{70߉?]]&T]qVW_ƺsFQAsb^ai˷y7vX$" ߒG Mg{"n*VU7^A qo9H+wlI2\lv&DyV cZVԳy!H_IrZV& oz~)1} i0FŠ6\ M©k\%uzuYmT.M@M?Wa?lW>~wۭ0 xXnV# CicyTr~ ۛ4ڢcA}FNha_j ]>ŚW׌Vձa`ݦsn棬.v=.mM. NNDTꟹ̽nܑAI< ięvξs)F1,&-k,zT ъ P-`- P)Ĭpyjad2]ǀ2:] "z}}Kg ->RnsFrXn=>A303Phqi}7m2uvZS=;8"A(;''dmC֊+srEDbdz W8-d ʎFcu4{2/+[5& 58 &Ԝ>$SP,Tr /&8*ĠI׎ӧ~l'agYZe10f2539864b202bbb409bd9b71156b75354349d79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f - Constructor_Funs