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  S ST I Gabow_SCC:threads=2elapsed=137.804cpu=259.460gc=9.316factor=1.887zXZִF! Q C]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_  fUynRG$a9>W#,`Aֆ|A,uFd=7An}3t#w RXyrŠ!*\Gq⋩6+r~w 4ҵ𥀗@|B TNڌzK<ݥ̵ݭV>Xϱ0wtnaVwԟ#7RWa*#{dڠ.o Ɵnj3-n!oS'p X>_n?*" C`^+LrELYZ,ʥ.R 2HEwX+l< Ao8|_NmdXxC*OVhe Κ3$K  DY d0++̞v+0gH(/ m^U9Őm&S :F{:w"~W^ FG;U$n>]idTgl7W ]WFf!9H&0RxP[:|(:Xpg\y@b=Ğ]s‹E'Yk;Aޯ̤O^%^iQ+7Њ"?H8C'3JG/%sEDn^ OR5mZo;#^L~h^U-(uܠU>yL#O>h]Xrk$MNY g-*djVOwִ!/4m0kVvfJF?o5>.ʅK;ez|rҬrÎ%05mAREh\f.0~$g,j35Wr̹5Jx]M^EÑ5%6ipzo K{ebT1[28>blV' \uw;q) M_U|@ӟ*]t VG@>o iaťMŝ԰BjKc^ܾ8dU%/qn:mD˲ҹQ[Z(bc|uegYZ7zXZִF! $]ŗXi%Eqd4|,.4~zpk~$.5! EBK)BTg>!BF:0:.Hy{=hFtKy󀐥5ʥ##ѷ-UczXn\HEwXMISr<s~ηDF @1z|ܞb-DԪD7v? HԜ&|+ )4jf A܂?qBNeI#d=[@X9J]p^|O=\>$Ꭽ=J j+/v g+(x"Ȯsy۱m)͞`>VED'C(t~ވ覂UwOv2(-U`DO&JV4FMA (iV_L9IjO'旓|W{5k1qTbc^(ԃVzX7ouzfT)SF;$1~IP(Īg,G8Ғ'D$ESn>*ݑYAԒlLсY!]С3( _X0#H,f:"ucd^2lFV|Xo4$Q|sm!.Qo4N3^xbS̩Dؽzk4eȤi#$( gl߹U55OcmY֐ ncZqkv \Ԧ#i(hmޤVLQT|xsLKjDW޲jс e~P4)HTSˤsBpY㷚%-ɪRBWnM|>HG(賱3kS0Sv'JndO>5FFA\E v6K gm^^ x0Ȃj|~x^čv1CX|I},LMCXI8I&RVYJ[yif:7#"GGrxEK!l<uΤㅗ&-9ݘiJp7:oܮ0TA c&HH{ܺݧbLIM;qkPPK7Ug'qRϋIx1 *X3gL^xr z9'rw\kwp% KWr)R0q3?6уi CE(1mz) UȝRoeؤLaM޷e] ضxhn>Z.!osC<6Ff\ R+0mFbYj.J /WjuXlQ!1ltŷ]8B( 1Y42(#&W9(la/ _f"]{9yLV7Pbi!bi<=8d,.TI|OYj da*«5}0r(C6Qw 2E~F Qr?`'":YP8f 8[z}SmF;y༰ % [U5 nUJ|8ݗCr,Q.#$u:CI$լomOɡ#vDX.t9ӽJ.jr.}e)uFQ~jzEm 9J eyrb+i3[us.Gib"A1 1݈=h*IB *!x6 ɣ.nτ&iT v-yD_MBA7LC*a7I8 SM򺸈\zjg_Ԯf&9HhTao0t,@eg00-]xc,'FgZ"m}B3ё/m"O\v$o4ryLbe]g/e&$~:ݠ #"׹tOE.R4f)Π*6_w|5K"G~:(xdѪ\Bflnq(bF~8/p36֎Nuaq0x> چA`QQVeP-4d7M/^rlNJy`C,7Y :& Ec !wp{=In g)1>n>Gql~jB7baq [db܋S߽E{K^=ΕKX JhXP,ȳo<_%'ZȾ䉡5S`ϼ$E X'XoSRCUd ۄ*b_-w ( M kQT),jO&Юq@A;;;(g$|PO`CFz#0NSK\7_+W tٷ_*#)m w, ˱cޤ ~?}EzD(j\@wxqR ژi.;0$v`v; K5s퍉BOȡjV:_µ:DѯӞ~gquI[htiN_}>-bDH;o6Q"XYk.5͌m@8c*hGAYj^2mu(VWV!سŨ׎Xpc ߳8&l'ռ9otBօuF}W9?iQK~qANee{^xwօ֔^plN@25.(Dn))|&>Qǚbƾ )ˎԸͩ X7JdF_?<yOx^>VaHVZ UG .O@Q|pl?ns$^"|̉'1B:gDc| AxXs/G!ZH!(zԀH\׷'\?GK>' C>EcG7[17 #RmܱocbRdxK\BU,=`j=T/i:xG+n /׮ H5uB ]Ѱ|32qL(fw,'ݢ@x5z{^ &;:ĪsyYڶݬ[_뵌(zB~`ۿU~ )#̱|F͈_ s%C!({v+Qx0?#֓p2X!@ςУ jS'CN]ф;NnH!3ǡeӽ-UWԹ\dKNG%g7z vL耙TDÊvFHWsgh@ h,>ƦCF..a,</Nr;&Ɗ6: /\9z_[קv;kniqpߚ֖X2(<=vLr!B{W0=jI hgkS+V/6dEI4U'YEeJZyj¹>pՄ?zt׵F6,&;򈺉 Ӊx4 p:T?i4VIO)^e`sCrww-$U/hB?A刁^PL2 Q!6{܈Gj\7S[hesNPS{v8BtUcZjjvj9OKU  qgbNnU|N?{UYxPH:tY)q27~H&0/P崞^W$AN»v "ʃOF6c:=d fk:Rй_w)e}]g CڑD!6݂\o^ڕ ~θ]_4ĸΑ  %UJ`">hCܶEJMGk@OݺAF2bB{;.)N轞$>u~^sE XV*ssV dAȎ%%C*ܹ_}Zd5(=Tƒ00 aӹOA}jCXrta0-0T]BP ́":E9ː8XxIi(:UTJ7qx./ As"*3Il>, 0q?Ls6Ke'Wd.I\f"!SB|*BȱLj3D '8(rm4pV3]83'ϜX +ޕl 4+%xB:PCn ٞ(y.1vIAB\"[8W<g6oɆ/?)VB4(%p0M_rzqadP GPT}øQӴYꃚ[,Zƶr|Ӹ8QN#ğ5`ʖ K9w4 l`QЍA3ւ,6JjϐR%-s6í|s3 Q9ĕAͺҢӏ/7۲jؾZJL+3%Iυ xh.f +gjl޻w/{RiixWҤx` FEv|p'{rV7