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 { Td ]]Deriving:threads=2elapsed=52.834cpu=89.968gc=5.780factor=1.707zXZִF! 7E]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 66bKLҵbP^N(߱q_؍sjCĉ:; tboiS&az.V@}"uB)b Gpi\Y $M@f k.@3bk*ug?=HIaB+.E>PEǤ޼N⾮|@H;]P_=$JjkKeJ0+Lm!dJe2ű ^t03NRS~,׎! \>'lW+f$ :b\)VH>v) Nj{@@ާk6} \bR`'gIH$?yZffZ. B!YZUVN,ki1%X?xY>'ˁ;~H)wH*6WLI+ږ*\sx:,MfBJb5DVz>SnN!ʺ>H41(,ц6W`VS6~%VY<:İgY8NHY#lB(])6C8Ihh@&|ETn^)?<Pw(3Qd- oͱcYzJH\]v;ÊQ=6?tl:|2Km hq= k1VfA5hlϊN|w;'V[!*&wbbvZ !v %C&b3͓y_*7;؟6tWXeQx5m2NM<'$hہ֌FP4[恰W"|:2.44mǎOt` l kbAPr]k ZHB.X/S"_Ʀ1:-|ɱzszߟAET0\h I|!a#a_r=0:lUC@Ҽư|My5H#Jxp'֓#!wZDKLzIϑ>h1ȠmXr[/V9x;ql7Dbs!:?2G=|9&(^VD^oY:]#ޥq&C#-3M|࢟IVA+  ngYZ7zXZִF! c]   DerivingŗXiɟ|E\Ât+.*aphG)%uGgV1^lxiO=W͑Cv44Ч&7e$"E)<]kv;h?kD g\:;}MxvxӺ@^ w ʯ%5%wO?'~a $d$yo :@i:~LR[kC޳+&q@Bg谽m͏B Sz@Yy}K4->؅<=)H";E#V][ClrLR:Qv&}eK*mn@jƫ+&nJ*G9!<cON%/>6zEnA$ r]N#!< xg_GSi>FU:_gYZ7zXZִF!  l]ŗXi%92<08ۜr4~9!;MhTO=3a[yeɊS':lqGGvFZq=nr@@[J< %~J3gu՗pPrW`jz1 ~ߙ??Dl;>?~ 7q uXd.Hre$W~*Du .{ƞiŰI/{1OӔq$K4ˉu-?1Eg&68v$"rZ`,ډ;7em!srCW BmNo1&XUxj#Ct-}qu鯫q$/}(kt'[Wp f8ǣw'EExh(5rJXc>=M很@ ԍ&c~ԃ>p@>+l=b9aL>*Ծk6^L|Hm+P7U><%őz* +{XF% # HÜR/@+]rOKJЎEPS:h+dk.e#A6iԫY-As}^7s)d0I9M⇩)CG1 u&'$i<|#JycҠBhJ-}+'ۮzPn u2Bd-Ȃ-jWjlF|exGiv΄3\>V'/\3:"vZh%Mz.I1ُpЬY$AI9MXb \R$ѹcmY0{B?R04wnW?Fk*?yQ8!ai6iWC͝R42q)9~԰`&/sc-D$R\é琹m=,]K{'9Wlm`QRJ`^M l@Jx `d6#'ey`J@z{zkoX'8\Y3׊Cgz6hƃd{fk8`r,mF)8ύA)>nL4>(~(ϞmR#ceA{1A"%n C1K#ۮьpA45}e٢$e%!(iI~Xv n30)WZJNpC"3#Fo 'ڐ@4[M|=YGj2P;@l-D{FbIŊ cv2}$73BFP&I)V#+3(J9s1$*-H7gPQ-7E\2z5=GϞZ %.&=ם>( %(@ұS1_E~p? `.Ԡjn+ (+Mnt u䨪٣|C@[D'[tr.@]{cRʁ\>*Y:AJ!=w!##b 0rH >-oH.F?$^Rл'PB6&t! zaAwL%Zd#ê^xm֋Kt QxO~ƌ~0hTF4T󛙾v91fi+OX}T3\ssJQRÕV`!'r,`{if7G*t@Y-&l!q(䀮3u s 2hj:_H O3ꖵEA*IQT@l$\j0di:f^IȺQhV!ȑ[q]X?Nk ^A f< yd}YD2ɄgYZ153cef45c6113490d30fc872b4d66f0b12c1d6afbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d237fb37cf0acd8b3b06fa99af51f89b309e02db81