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  " "S TDt ]S PCF:threads=2elapsed=58.096cpu=87.432gc=2.728factor=1.507zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! )sLUˈG* GCTjYhOb&e^xظQ}(Zɋ0 <' kDQg\\{;oQ>#g$~/r8)M?=}*K.|8 R ΁kX7۶uZb+Jƭ`AqA)y}ez/Ř:YSQ¸Zک#:^A/Nh7bS0v}m]oY_qp}AxtKK{n,B4Z Xx X-UY` H!; V^4!vMn'L:## C_3>X8B:(Kܶ.`T w  PCF:@bhD pR;FQs{ [?v+p3?ۚOtLt? -?@Dl+MsѬ NnWknxr1FEޕAocC4y2gNp/I '5+l!' \֍.נ1r|UE抶rK_Hϐg fKl~d*# 9\I`I躀֙O@'q VLRRgr]7>6gYZ7zXZִF! )]ŗXiɟ1˦r*E$O @zֲ_}@a9ıHKUEƩTx4v<&8DY?Փ[k0u4)W`!H \U⸽ŗWR.؉'0'UE=x$nbwO0[= ߡW7|u{6rK'^${2r[cXƀ0sz?~EctԹ}! p}-Zx\k<*EQp3Ȋ' (7|i}H7@M8TŒIA?~Ĝe'.]*h'|(@M՚f4cP+hcv\޹a,eӃ3>Θ<1z'qk$8V\c47[gNH˵"[2鎌"d{'Cȼ*1y a6@yMA0=DmTP t3*[}WA=>WNߓg ͬ|YSZyiK4UV0*ʦFO윎 # -YfduXT6paMs{-mNqz;tޱ4ύ-fk5L[84 ZFtq)CX_4G喉MGVso%%7kf FS8} ()ƪ{RR,\ \F$no)Xc'9D.}#tr2O V2Zl@op=)dg4?ԉ9觪aʵäLC0Nϲשž]֬f ӂӵm\/B+!p} ӧ fx9pAlobdTr3zo 71I@#'x_Z-0Ur۞m_tƀ[0 wmW,&Ÿ+