SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  )D$ SS Rep_Fin_Groups:threads=2elapsed=97.573cpu=159.296gc=4.448factor=1.637zXZִF! `j]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN}[Ь]Oz7[O}BPX p :_)Fw+ 49z0˻R#б\ѧrzm|@B1ZCp8CedDjWڼ(9h9 g1NB&Hض7~A*XlJ;jK8SW d5w+u)ƣH@J9A6naVe b] Thy?cmr'S[ Zx>MBxCB`J(xvupHeYo^Ar+Ǽ@Z6꿕K>e}+P! \Z.s)6*ϭ[`ɞ2WvI;%8Xl1~b3oڡ%/Qwj or~jn{DSGAѰl#EtĨ[4Me'{4&@3MP5;Ffm1뤃|-7 F . [_ RFYI sa}#bU/ʫìxTUY4'Zu,H*ZƆ=v܇5kRO>dfiAW݋Zr^\Zs/־Y$_ᯎU[ C1o2Xj\m sd466SGRmʬVx^[PȳXk#4 g۪,³XawHUC~ق(yٌ( %yrHŊ5ܬs5^d鶹nl.F?)/MQcU2<9Dn#Lǝ44Ft\'*'a%6*ɏή%Q\_Ge)d8 =O:;'T'ҫvA/js?.J|''$$gEa8>ͧ`FmzyeFUB(Θ" Mz8*o t@˴;`rcWlaIyKAǤ+<+֧5@,~.#vo5. /y.̌l!{vbPB QhRgp\ !!@c83,Q蓎])2ِ}cր2 ?;b*/][$L_MP#u9}k$E&#`@$b@t]sXb\3ev% L\K'EУ=!z@IWLHxD'އk< #q3a+hw͊/Pbg+\{CIu28(oƭ'']ds(4猳RJ)Y6ʄ#!\Pr6'ˏ]~Y>.e1IHôe]~ΝfCq%9~Aux(\)цW؜OU-ez&=h<"bct9Ul 2jqW @/VOi:)Z^ݨOi^a{ @2>RNnHuntKMy7_BF7a{Rd()_KUm7ങs2JG%V{q >GvnKPٗ֜b˾p}5 uR:گjZ; Qsǥ)Y :f/J1HlXܡ"}DGف Q@o4 -GYE۞\\Ci_K-<iZ9H\A MIFaI?D[/"9dK}.v43%W,8,.AR!pB)ٜ NGUbGmu@-5ڐCҤ4qp=!m&'B>sL G5UJ>620P%"i$Wʦ)4Kt!~|PxI5M8СC̀rG῟Jx~$r^\3~_*~*]q0ôyrY е2-1>/#O:$!m&3t*2ff >o&Fxk$C<ƁOڱpsmluk  <2Jv!jƌ-ԉP,3dX\PP5ܲ+8˛B')^%4Ajop NMo/#371SN^@[r`t#vQla.m޽:z= WM+:]Xi'm c?t)k0롕#BꕽwW-(uGqQI=l3!ا` {yՌP=CkS\$g _zgR|ש5CB v=S䨷+ ()3q7חlݺP CjAzE%յM";8w}}E* qG2\ QJ*1X^(C^-B1]}  ) Rep_Fin_Groupsr ̚{¿,h%`YKw"[.)tҠ6z]G>Wͥk+G.:k ? c]=7bv]VAͫZ@s"-N 7qFmB|.`N r!8V;86=-KjPhlw|re-{慱lcLya^YU36K7-O L2aD1hoD*[!0ؓ+)gcP;ȁRX>WGH-;noJd;ՖG>|}iUjFn",f8+톺w1Y>,m&pr&B{xk#K!fK LV0nAxXL`H0՛X*I(ڭt\;mrXw`o#@n?ZrErj[03BMƂGˍ(Er5* !:LTs+pөD?(J3t둈15N n :fpxqbR:XFk%cXWAdSr?cuĻ]AEHOjX qb}Z^/ $'A2*8 ؤP>q-OCx=qx'ɪ$Oob$8ZBwCOiȟA}%>M-ҩ2S1ǒ|s:>J IŨ:UHW{O};.^oM0 kVZiNC"S>Qښ^oAen ȫN!`&=6~* k[.R>̭gU;X?+ێM)_P[rTnok=хE`c}b1Yw_ZEcxUѸwd1pP}!Y2T]Au9H ^Aӎ"ڒ!;5̉gP!DW0‘Kaib,p^xҳgʆ=i壑IP$ ۇ1\*ä t |3vŵ0ȖѶ |EwXЌ$C,P {(o{O%>=ߵӌ3nV: K#Iʶ0ja2-:wǬPx?aA=g+SJK5.^UoY`*k~r-bۖtIi}G`) AwhY٤*gR(R$dwSReHlTSfܡ_5„#m;ؒ**"\b^@'S :Xٵ~`-aӈ}IH]3=Љe#9T>3ЕLy%͸OE9ڍ_2 ܗ)D*iobdcֺ[Pq)0ͮGJ˪t6=2JRVnAsHq[ n |ib%N:4!=΋xP_co/-[*Wish Lj$*_t&+M3ij8)xB|? ;_]ر^Ywߞ \nX')rGFؾsw(Y i˞זNІN~yVBvHrCW2LnedITL=n9B ljJ<%Zso֎ ce|+C!IP D<&>)uѵ9`n% /Z$ l4jV\U[&JYK Cn۹*MG!^jgo}2"우bۮREP`"p!Y Ns!LŇ~{t K_`Iκ|+;L@KՄcتn $ϟ<Їӻ