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 m#  , ]/ CISC-Kernel:threads=2elapsed=21.656cpu=39.848gc=1.640factor=1.847zXZִF! G]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee7J: !UܤZ*4Nz1j۶nq:#{+%~̚R,kJ;\[NQŊ2^*ףIZ)]!"3p-;}̥Tދ{[fB_SQt>=(?+6u*/N(GZ;%'iUhM:dQt9 tTH/ŒEM5 r_>4ԹY:oؑg02ڒGb;ʐ_MNx9H)DXhL&5|ԟH[*-̨ _e2VW0GlKuMmTp53 x.؂!s*1|T!Ĕ;FMe>z JS]|yK*a"6 ذk% "X'spZ%>h`|2Wa4_MH*R9&ͅ.| ?Vo4[$ bs-a=2,gYZ7zXZִF! >]ŗXiɟLN.!}" nPBڨ&wjn .S0ˢZk^$nP =gZLvEOdL&͌#M81ۋ;C,%(ͺݶ \TȘpkB NLZm# ?&5ݧ8y& C)LT.q1ȩgVĬ`sdn|^E#/X\;a!=X22 $ME+ %[34C[_DdJ}*Ќ cne 0>[3{OӆV/,+q ) DZgYZ7zXZִF! uM]ŗXi%9(SNO'wʟ w_쉬;*vA UO1bdwuDZB UL_ v_BiZRT_ `OiK?jb uqT$&-_-&3d]ѽ`x ;Xm \EHw9An&c2L! tq,k=S^Bc&+T~-7#1L&!GIi*.A>捖bU.ȧ|j%׼tds5Di볐 VU\|e=b(;lNج_@(aX2"U^ ׂKNn*lֈn9壥yKܶݚR^Zi0\IE|QkY>zhŏQcݮ Z,Xt'O7hМb1L6kQlDda鵖,Z #cTU̧γ$~YzE?ٟ}7Z`qDb9ušXt'ɟ'GgM[V'HHCw.Zư<"D7%Bi}:˦A"թzA'%#- oS#^`!S]WF~Xx>eݖQy_Ef'=:euspU7رIV[Rdc} m-~:W(jTI1-u+^$ch{|Y<5tlLP у-#Z"v:d;EZٲ旤L跹\OqGЃOx^iSFa-sKûtnp)ډA e1^3{{;|Nϧ{>[8.w}%q/3 \4c =XE"o04U@_-M(iSAv$*HOYE,:(RLҩ\6n,9)x7IM:IraHy]Ԏ#aX`[ Ԩ`s"x63LxF[nz۾$yBWHonz7pӾAtř8\ ~}t֎hX! 4_+^Q>p;EL'X1j8&DO5^&VHOZ'ͱ/C8d:, w*þTJ9'.7Ry7vيqILR7[}Ϧ c6d)~82S?& 8gCAR-4UJˬxoJ~rٷOO`]Ylr"jnqb;Rd"YUl&7Ґ~X,a- pP%UKsDcyM@5{{hgP|{#au3-43" 3sԓYj nXAphG*‡ZzV},"l\"Vs:^Fj PqJ5~uDM깎#lS }6#SNDb'd|mMB7qY5PgЗ]h_WEE%H9SM@,NN_