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  b b74\ ] HOL-Datatype_Examples:threads=6elapsed=107.313cpu=369.620gc=33.376factor=3.447zXZִF! U{]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwբbGĤ)rUˤ8P|ލaVr;24L <7}pWx1xyJ̈ID-hhgv}@4GS* Pu-^m'#qY%DK7E!8Ya^~5?(sMOu(O@- %. Bфg@zHo8z&|<?B1(Oϯ -_"fe4Ü نrS[#&'b_g3%3lFf' C0\KAI!r^^.w@ Af+hkT\2Ԉ%8x3^Pdv v̗T Z2%c԰Ob_@Ͽ q_ S.촃%r`a5{c;Mڿu^G.+R>\pwVȰ"šЧ{=mN&[WGѾeV(K4g]nC>٥+OoM)ITi3@Lȳ 4hASV<YV|ckhafOfT|o'?7IV;8O"lѰwuGLѷwvߠ gYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XBͺUcV=>AR5ӦWX.>%Vz90\ Ȟ%)xA[pUyn[ܮ_m(md&qLPGrCF?FܓEGl:!]O9T,)|{19(nr ]rĔ+wNHr+ h]-虔y\ʹ/JjźNlӖMI[qߍIBziǷ?27ljx\jL;{޶2.B1S5506IIP;iFѓJ:j:-kMӲM1lgZF90(rsG@6l5ol. mձgYZ7zXZִF! o]ŗXi%6Yݿ9HN(8"qM{P 97y1IU\93֌#f RTQ3{)ꆭ#ܲS7wp>*4QfiY=g@zhjBk!C77-Ki ]5 pɵ`Y=iE> ;*O3|XS',M[LV(vd0TIZ{ApYǩ}i[5p/jT>jqӶ-O,-9_Ԓt\1p&BZzd&9OJ|w,6F&;4b=׺YM?).,UUCk#86KQOU f2cc#QFDUPKa]мkaWwNPlPr0_tRv+4ӻd-ճ+>RsF%logo/ Zャju}+9L.m-gd GtUv(* >A;ThNPENq*+1_ζ hfzfɀa*ަ$f$oqO X=Szp6S4mBD`wrO,w%I"WUuhx)4CZ!#d3\O}]bOwO3Ccj!㼌o .w2뉴 C H&9w~,HMaQCƼ˵lu-%=[Ziڣ1l̬mg>!sY$H6@z@Qc#] vkCLü'?)!?2Fkb n檓rYDsc51s PމuyGtо)s 'DFf^TQΡWAu "Q.akmGAS9ކt]?{VsmyT (}NZn9Hw6VS_vrHl(yJ6aTHqEND]>WJa+Xf>@ _O򀨾N i&;wusa;4p8%P@R,} C^-hWyK8{N"lWi@GKr Io6; B4im(,D13PBsgµm)F Už@q\S#ʿQ"Wʣ!#Hw-I=`2e64ҩxJmcYߊrǰ,21$5h`!wӿ CMx:z*蜗:pK^-d2v)d &{ o)"1_gwnZ}f0p$Z]Y/5*-)g{K;Alje˕i+|чn)n<Eė4XGw 3+x)S:.R03ZnHID~󫼴|LrQ*NӾ eo:w`{u9PZhln'auܴ)k63!"寑507QH"w/#]Ó/ǻjUP*ՖBX#B"QZ(Zs fT7_[kn>y-L ܓS "P1sT3iH b,sB,IZ/1~YclmnBƢ$Tؕ 85[n&]!_ WEDLpDvd4J`nq^8]Z\2Oà Bko (]oY˰Y7?mV<&V9J;E*$1ʝ`ēsC_era4~~P402&Gz#qALnEյY-$ǡPj\Mi/<7 d*AQbe Zc0 r{Q"-2 $Yn Q_i2X6v/ 0Q}. l0 37 w9zߍL9џS+?"[+UIH[Mnٳw,p#,<%9B飋+x 6Ϳ QL>a"hw-xη&p[ h8ɰqo4CV%ϡ<8Vljo+ۼ;:klS{rS3}jz!) !˅yҞ .LulirbFYcvDܙj7I$Z  e- }|UNț1)xCY+iXanн( ]iPˈ҉a)Z5%b LAw$-ڷͻZލ)_{ieze`ը\}:=ю~w{A>[AC^o>AZP5Y.A qWە0[~B\ꎙ`OzRG4ȽCX4/41˟N†]UUf-7~xÿNmsI@d194\3C$\Y$D|(*U-~i鉐!~Cyip%Gy5zۯ`XreF#K":(^'K|-@f+.YǴ8Х*+ԏ+iIy 0t_%kyذjs|İfP+zElMО*QM"bO3W? w[-&+ܬs¯xFP8]\3zFH}02 ݣ!MdeZV`Go"0gca>@k*j{^?:/8攌PA8c^r80S?]BܨRvK#f$;O1Þ)]}f嚷{}˾փϴHCSHPll:(abe/j@u _\Q8ZX !:&pO("n\YA*j/0+ˣG4-9jpF&t D˶:?/#w.֪U \|ɠ˒7_+=2 <֜{n`O5F%\-L+j#܈KQzzg tS~9BX,Iȗ*u`?#?. 2L bxblU3%@*]czuP3qS7Fv;J~Cȷ _t,!|4u=Xur˹sCⱿzg !ʰAqZ(0`<{|}t9DFVsonv>c`mkݐEb*! GV<'5͚§M%51PcariF#CpNGsh-,Drjׅz{r!.N% ^ Q5UD~ nG:Uid crj-FmO^ L?6WD]I]+ZZ[r.b1L76onFSd?]RjI$䏶7yn6MPKSDZT1KukiUA."w(# zٻiSV6l(-UA;>h;]s,Ug~wn ⃥5ߋ9C??|nY<- =S_K:в R!Q0Bgwae šXNOiHNem N鵾Г}*eE ԋGќ?WF2ޕ[ MR!nO |`6Kǹ`D8ԥj|H@-y<1J3yF8S_ǸN=kE4UA|0)AT׍+2BT CRv@bϝku5V7k gb`wMJ5 3$ϙxO.~F-XoT+/qOtT AnhD2%ưtae;.o\DvWN+\?L3w"Kl vCVbJ[~Yõ5%TY\QwʼnJs1jgV#x U(G"4&Sps$XaE ?]|ߌFhޖ Ho 7 L fU F;G,Q CaIJ]{TDNX6s>W^&8TluME{lזf7_d7µem\_}:T1o %pS]g+孰|ZkpOu;{`#>̢?Ѐ->,)tbxi{kkWTu֗ (?~tJ0,tkT ڙQv~G3ZYv*ZZK:ۏi[2U2.Z9&`Xo4q0f:Mx8>4 S!$4M*f}3q *N![o3'I[>e}yH=rf֫y]GM,-fxDdMۇDJͅDؙĮհЫY*6uXmVÇB74h*B@-ɬ#`SG:hOGYbzE⁳:ݬ5:>G6-ڥto_54<`ȧ