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 f1 , \ ]S HOL-Probability-ex:threads=6elapsed=27.866cpu=45.296gc=1.196factor=1.637zXZִF! V]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E)* L~(jvh~ tk Eh*q )N8;A0AZpPH10gM X.$]fu4;dV;mpqZNl&g Vkq^l[Np;knqfe_@a>+*r$DE dè N JJ[煾JM55 E6II)įt',b O̞;9euWζP8^'}sN Pu81aLN.Ľ)Bf!udm`Vxw<-H'-HLAcThTj?Кd)}"EBGyZf4pV[8uguOpFnMKXo,~:cI !|eҬ0gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Ds̋z_BEK*YB// tٓsqB-%ܽ?1?WfUyG ^n:(HJVf,'/w/I,Ez;gYZ7zXZִF! %]ŗXi%9*_AmHS'2ZxKB*x0l`ټu2>Ec1 gBfk`wx<`J33r,KnZP_w?rƬEHF^)3[Ɖ-)`\m$:R9YS2L_F8[)s RM!m&f ˕0: 8U3M/e8Ohz[1WZ{İqtOR#*93bhyTޡf6Zv.AD}obb$а1&9^a`wBwW` \! ,f٤ԥRd3.{V{w>c< 9 {6\B[y}EPILnov&q㱷O*e<=̂L1u-%O n̚8ӡmGOK+- 4ȕ泦?1u=`)%3#45h@W)Xr801#OljNb1ٍ@2-љH)#q]uZZzԧ,L o +V,N]=T*u,$iq& s+1\P(Լ2 WEʖ\3B1 uy2FA`>Ա;'ShHsA'JR" a|UIY xӅM7(CY啯 .bx\Gli6i..+I25Y(7I2'Q%p!v7V3k3(x@fcʘNȸNnw49ש=1 (ZVVI Z AgO8<y?1_RWN0>^j. պfM $-ˇ%!%^&xDKE=iܨuH]=+}Oא6Vn] R(${qչCT=u@JU~O\/)M_{i^ D\!+ @2͆ YNэ*T}:$>ca~Uѹ'56",j(VbM@za