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 ##Z1 \ ]S HOL-Probability-ex:threads=6elapsed=26.654cpu=48.564gc=1.216factor=1.827zXZִF! k]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]-͜Q(;L =]ӅK0gBVn>iL,5h2QJͶ=+䄓a+В.A;nl0L#-`jaUr7Ji5ZvVH'9a`hhp"b9QքxtE;]_i^*>N ewPH$ֱb?_Oā&c58'"= 1X!Ke! ,нS5j6 ](Q?d.WYZUR$A &P;Ix6K&N^om@cwAnVT܋ohTr"[Tj*HDY&Kh|{~gEķ7NsB܃,S^kDQI>gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >G{)xxdh+ԁ"Ƙ^ݝ}kyi n g$hajҞFEaБLg~=Fv3ρa^Q=HJrP]_a.Kc(M nf˔l uҍgYZ7zXZִF! &]ŗXi%90g6S[ #U-RR[ $5#UTh$N%~٘|Pw시QYޥCQ^hX2؇bO:Fw$4VURJ鈏MQma>$7hi__V30Q0m?nQ uS'M/djKr0:@e؈Ջd [r`FGr eŴQ(\Js|4X!=F ]H1!~/t(ˠR"AVsqʵ-sx 'j߼q8pp! #W#Oź&VPJ.3m!IK0GѠ>_V&gs}o7yhzZv=X+ `ΑRSDi Ty;~p⾨yD8AU ^*\v&$j@ b." PG8r'A=[ B7ķhhmwbsPD,ֿn)#z/-)cq՚M葪Pήm0r_gmD0i'krw@'kswo[{GkhNg|qj;@FW,0 6@L?0KILD)|S ;ӟEZu릴2rB[}Z7ޥmaG5S}-fӝnm;Vg+# $ [K>!`|!BفeWf͊Al:>s.IQ)\GnZ.Eq~,# U6πc?s.L E~[AJO$Sʐb@қvp9sS\S$w0j> 8g)_Rv͗7`l;ΉFq0uA1Ր麅,tOQ477NÅr8I)] !P8[?8㜎Ώ)= :fs}D1˓ܣmv|fD[S5PȳKl7czUPfkLEh%O<} p[/+nρ(ku1,Ss]0#bdL]7[nˉc%v,Ѩ gf]EuO3֬r8IhivK,9.Yq.M(#pd|*RR\b+$.c-5UTd=$,PgP%DҤG`y7m쐅j:,\&TlЀaYwW[rΏGm׋pg|sMCU}I | /7q>< MIiE[ەi(;LL70-yDۅ_ j HyO*745Z/Re&f;L'_iN /dk->'D[r