SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info w w i# ]w]JNF-AFP-Lib:threads=2elapsed=155.209cpu=301.640gc=15.364factor=1.947zXZ ִF ! AP<] ŗXf1-/6vRZy蔴 NPDXuKDu:<0TFou^T~` ̞jMJ[֫wuX=voxz*Äww,aG4`ҎIz貗Eff`'x{ΰLWoʧ i?u-C%qCnofV|t{#[5~2Q)VdA(k%踹.`U/Wy bo^s2_+V"nب3ˁ-m]Әc|Y_r>v9K<8~%zMr-ZĮA_AA3\Ai "HhUg]E(>a"6|Ȧ+4%WT.'o'c_HZ_:_-Vn*Kgk>vMojw"Ą}Ui-]'5'$JlP8c(PlH?}ĕq3l*w,ӌ!zCɷzWURЏ啪/Ȉi(j-wRgIgEʒ0wM1}u}Y(켳&J!Y =.W8iX"'2/RQ`jNitHU_p}$2`Lm[zY#&yG}ΗkhIUP"⪝:WtV+J/=v]t u俒~;[@\KwyF͵:Pyl`X>,Xp}] s x)ҥ2gT) OqRWH/m$2ᄈܩBGsO R[4nn^_dtX4ds9CaڥH:-FF勉cJ=6IIC9(6ބ_ٰ,ˍY V_>ֺylP4=Ro:S(*ɉlv]A"9OS9%_?C,0}v,&l'3J- b CNgpVF:q2UϚV^ "5|0o~ E6ul 8zI68阑`5ZD[K)= *2zdY[sEiD0ۊ[%\34XN20P~ֵi_҄Q )Ifr0!`)z@D} OTe6ۼO`?"ѽ\{fV "l]l)>ǣN2#S-Ccs38:XkГwkjAvռnYHfgV`JhpzYf)# h↓ؗ5̡[܂ ck!uv:dti늗|C 9`"瘬Vq.T6m2EPEbS.ܻ*Lkhna<եDIyKq{Ҥ/2Dg5zî۳XPWnXPa{ЗY0{ҶKϥNA%;cסbgrD3Wq ]èzYtv_ߚbJmՊV{_v_bEӰ`PWme'}e4Vnd6/?Nڡ1˹*ԝe4~d!L#CSl~xdg.7ZK8Wpolj!ۀbbV1_e.%#=lL"|Ài4zU꧵Oa-D^pMCl+xZAsSk,(@ďy 5Qo9[evP%|Tj9 I>oF:)u=o/[ň#"gg!88Uս6z!M b57q7_=@5}$ P;2K9 Imi T Ξx}/I!zB)U}+NK1D:FH)C"e֣Yj_mx"|&A:{ddoXWu6Qlq+9X+۵06Z_ڲHxj\eR2 <|Ya;?dpzifﱋKdj vȈDcIˮLRP=H tT:tS4-zf# 5bNPsDd{ar_篺Z*VewSad_MbjFEȸ0S>E>2JOиtA hw,A?0Q
NmvX_E
)N+x|uQR ql#t%DIpլϛ'i