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  %,4t ] Gauss_Jordan:threads=2elapsed=115.025cpu=209.092gc=6.892factor=1.827zXZִF! YM]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z pO;?}fD' W.SzPN%]W X&ؽɩJ(.حB\ydp ,r:KnH*4yxE̞ק)Z^&^$ x\ncӺV]n| t0O^IQ9Kɡi_V` |Oo?VB6o|nгD_jK]pMPeI9[5nP m\7{hLoSDrOS &C%1akCB칢oط*ƼmöuY3W}`.#Kq4.!'Kw;cg*HƁdpDtL\g a,jrt_bè[{f߉?8 S@\|n#`R2Ȫ%>cx~Jk@X1wcԕM<$eSGvz1wDHڅ"@l6)wBD-X+]aJ0/![#ڶ4|Z#[q,Ep%]aCC0 V:U7Ln#e[okuي|:<%̢ pNv4AS:f}:M| X8M/i,Uǣ6ymCĞ47~{EeZU op~pʇ8Zh؉dP|;AaYǷ]ԼP Zwd=<& ?J稸'?Ȓnҟ 7hTP1V 3ojg'G)ZƷ*MiW/\7b;8 F-٨(: :zeO? y5J@s 1wBY@6V?h#o۪\{t Bε6*cef{=\WE"ԢO*=*pyQWS-QAv,l I?=2R:z?Cn^q789Ly+3qٕ(օ1_g(dG\;a~ẗ;])6҇֫H8ōH6x\ nڸ % Yx!H>E A0Gm.?4@'ztNg> bYt|{pNa5R]w5q8K=/;xX!`/pplyR.ZZTjVV{ek69O:l<UN ?œbSa: W@w>ux _)::̃Ibwy-:̻rOf" :p\naROx=)̃3bBțA-B#*z0NIGnfAt7wYkG?g0({;%3}ɽL13~j5?#9D}>5xq1tZ|v+qgYZ7zXZִF! 2]ŗXi%9#nD4щН/ ZWSP>oxRW 7Nc$uM m&]+{g^/*&˶;<0Pk[r (.CPҒ 1irbF}A{Kު%x| (@ob_-}3哌lg솂/\rT*KrsYݿiKTt'+ )S?tϠ\c%.ʙ+jCR _7޶+cS|G~< A+H?FnHE)Rh5+TfBxo9Sg1 Qc7``aȧ5S{!W]2sKy0 DQؘ+RѮyd?R]pMt$/}tox& YAr]%nzn/J`g0PխK6uMlTނMly |4Dl%1 "έe :H]]E[);]$K,, 6SW =O[=ϲ\li6(67 T?o;I͊3P=V{!vB@Z _[)̘{, 5; ,EE;pSN"7p+x +H:q HUѺ/ fr8ݨ$` @C<э/׀\ZN;<BV/  .t?bj! DR= éCR)z/@3}VҟvB?by DeC2$׻&(m 6RNr&@FIOk4(_ ݇ŬܮI3LoGH_}f,h@+GǗ8/Hc[n@ }'|yC \!^X(/@fgq g3q@Z>0 3쭵nZ0S5&T< Q>ѸQ mCfD%˜J fO*[M(;ŋ^hJBq8%&Mx !C \=^]?BTuƗ=L5'p3 >[2>aEH#qzeF쫓~{\v$R/Yi\ʷz-?|#"rv}N Q]`69(OyE+$'l^Dޟ޵Hzyq^ܑsSv:)(}X1>SݣfA{~oY<;,P2HtB!lۛ%l#8ĥ^'ok,u OVV<52`,](`2 Fq%2/O/nO LF6_$p("&XQtкxc\IQ%2𿶻2ՆF'Ay& imڽҔe BGtz,bj> aތ\{.G_uw ۴J rp=Eg>zb)R9/%Fe".g"+"#J-^Q=JPPU.']r {9K]%^Y&1>Et-(tt&CY^!qbu|I #";.1)-JWbZXB}.=4'\u\Nƕ%]TD?v]D銨^3}h&9;k(*5KL涊x#){-X ׼#wh{fgH3_27.Z ~k#Ռ0ltOR@*8@B2BDRd?bgR |YaW:p@z{n-gieFDδ[';w7ߨ`yJ3| F (sv&5^ںAi`#ɕtEbŠz < r*UAm̢UQB4#Fu4#_% 8aX7#FVqpc%Z*N#5OX-jdOݵt3ڐ(d\&P]T#̅61>AJm-x{@#2-R {%k'PJB@Jz3cwtl}*67P)e|1 D_F U I50"NQP\4oRjurt8R稒96m)} ބRg˜3N[3^"> P6>ګO7!lCg4Qg v{K*q%Q\^E4;:ZF^ܔ/Ύ+ gK GDP!M/6 "˫ wt3;>t8,뭹"U/ m ' wbNËTS -T6=] 7^ A*{P36' )&[8Ơajq %4x)B@I XDff%*xh13J[/-TL,NZ.QI9B-KPLq@Z$4s9O)l'Ro܍׊k,3"s:KSU> 1eVRFVR N_T)Re)PG@_]g.5f[<5R)!ym[\јU"*v6ne겲e(2w{`4.P wyI%ݬZ(='ïѕK&p}g?TP)!]uM[8.L$8JCn QJg179WPӐo%omor 'C¾LbXJ2n1}0^(pׅ73Q/)tq>jW'+ME)}2}\,ܮ5mxepoO6ZWMI]D-fOdK#Oߎ+ z7NU>vݗěw]=7 :A~Rw</MCڇ6I?Z9MOD$4=cU'2uYGkākƝ!1)GTii׹LgG2:w|W/@fKeHc!'\x0֎\5huK./qX'96qg9oa;ɹCD 2zYgKa*_֬fX 8g^ D9.SĖ)ǚ8"M3!HנqbtʗbA>FG̠ޡe<4Tq|i% qr%>8IY.,+"!^,D1AQ9ٖ*hsOI~cA# K;lƈIPIsq9C=c8RpCAM}M QԁHeT9䗐:!uJ7N@gu׆[ǰ[(KISsǰpzpgʠd!4VJA!.-={LY_!c<+څn%n{Uy(w+qͺ^i>1ו?u[:߷*oEjbt/q/"2,'$id\!4+.#yO2X ӟd’&.uXTdj@ t^gdGSJ%&Ocl-–y*™{nӡIlhJKEr9y90Jhw"dT&(`{7asT9*Q(K¢Uʞ{-P- VG&V<4o)^]oAGe) 5 ʇpG_Q#+c.