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  DD\ ]S Hermite:threads=2elapsed=85.420cpu=135.212gc=14.992factor=1.587zXZִF! "]ŗXf1-/6vRZ*F"Qe;۟X\פljg;dsƼX1!t-V荵үah/RŸ[1D91s y[?ܙΐ)#,81`vr{yc04IPey5,w>XΊ}({eW+sփzܘΎPʵwa3qjF.Q9ٛ@.34beȫ4|)ͼV-p) Ut)B SWD7@Flsza.HilBmqԮ$'Jr7d PR#!FGWbU`8''i>;n4Q!(?%`(X(%!R{]}%+L 3.4=űgYZ7zXZִF! Y]ŗXiɟ ו 44gφb -4>@d5֍(tnoƗB3~&nf@=;6OougYZ7zXZִF! ႔]ŗXi%92x?Ѝ}Om[\qY{Uܹ2G@~V[# 9 B$!IKi`3v-M͑Y\[=bc@4xTjYB/}Vsh^?(j>!{ N*%QqscC7w_ q4I >׷r1[0%H6Õ_>nD*V*xgWkS>/k |#NmD0,#I&/H?EY<. ev (MI񖯧ǘ*!Ptp\'3闑y? >cn_HE,9mɄUOn+>)7#SgC0er=D_;e\P[+f?,~ &   Hermiteot%@(~%C=猐Yޠb͘|ⷓwɃ؟bwR{2m:w-q͒|޾GxY!̈́Q${cʽޖCoMPOABf}ʼnӊ@X/ǖm!-k]bt#;| .; gqnC<tzc{]5uFSşlرyo[{ۚ_$Ef$ǙY( ƃ 5AkZK"?gh7|P-op`o9y-e# xLWJhВ%0³rpcvQ Mno<3RkjA;jnW&ʀ#0TC,N7[MumplvOw3?2!¡_MĻ1)b,/1s*1-_8Y}UNIyHLyeC*/BheVe[қ}-FdQ=i'y:+u 5 iidGEZc>NKJny3Ծum%v}r)B@ JIF}8ߧ F|D5#B{֏9d6Nj)ItP _ɺ|܃G)maǦ HڠP@02"F;3VS)9=0t 8Aœ׌TEP'F;2Zz $~8~ RyC*pL$}pv>;אF#dOv,/!NNru6/^lOYeu kh|ڍoVĩqU SS{mDm$Y~X.ܻq=R×þ p8Y Vb_H鲁JJiwAS3~m#e^tl*{I1w>jcUsp0`Re%uylTj7,4"n6a5}~{$2~3q⦎pTH#x9*sDajvKan.u#Nh8*td8}U}p4W[ЍA$Rn6_\sNMn+e KCTcY|nyުyˣ* )Ҽs>3Pj$muǫBf%\tġpy--Ri3$ o'f<EbyCVyfBT;g1cfۻ"*.zW"3R:(JVW.I/m5?gE޶p ]@H/C499E(Oۘ˦oGI)teOhe1Q b̸<6tΏQ2l菤a~_?=agyP,Q9Fː̅-ܟ1 y#MwW4qf. 7ˀX ˶`T`Գ A boD XxࡴFeͪY6 x}JևY(oqudTӪ=,T3D*}#{rbnɽ^W3R¬cV8{*BmjOikC96ʂn`Ґ /W~R3ٙC8H[,wӊ"< NUv"!OZP Emk=A`iʇl])5 UOR8 AOy`:{t? |tW, Z:pRUU_]3#e!IӒ$Eɤl'H ήZ`MlLQRm@w}s!2& E%M_*}C&tZR‰mhclWW)T}rwTAߌQ `0PBq$4 ֬MVȒ\F~·&A-ĻD@r(Of\b(v3{ac4f Owaohal&[ $+Ŷpf@@O[q7֚EReZ% Ձ`,r}<>yAkW[&{TDB@l7IfBC~t+V'VnާoDZUQwtдϖM`T'J8 P}V#O>\Z7iM1!K;?wTWMEW[/'y! J I6r+K '`ѢZBʕXɀxIZ9:6S۶fO+60[\),[we\^б}v| k=:ߧ)fxx¯EhH:d谪g5٫> (7k,'Z2Bt@c{GDO&[4$k:t G/bE8s(H1"3'?T7U2߫*FmnJGzޕ]Өsp oܜ9VwLT49? JDc Q Sl*=p5 ?vq{)|/ s"w WUA6'8tZ**+BR~D84$H%"?G3*B"ndd :^嶰3 :*3SQF? cbu}>{JI8ZX!<=l|Vpm*CZ"`\뇐¿t9M\=-u!Y4yut26*`okFLZ>H+٢/YTa&S>q lnxI+f]C},FcsMB=WxhoƐ`Q<ΜRF(SA#2 [ŧqq"gYZa73938f0b1b7bfb94c135c98aa196ca37fc203130dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 a52e98f1a084d33a81fdc978da70738a2953cd30